Trace number 426126

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds, and are wall clock time (not CPU time).

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
MiraXT v3? (TO) 5000.22 2507.22

General information on the benchmark

Namerandom/OnTreshold/7SAT/v60/
unif-k7-r89-v60-c5340-S1093254405-20.SAT.shuffled.cnf
MD5SUMb50ca018e79197079aea11ca328afe4d
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.482926
Satisfiable
(Un)Satisfiability was proved
Number of variables60
Number of clauses5340
Sum of the clauses size37380
Maximum clause length7
Minimum clause length7
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 50
Number of clauses of size over 55340

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/node12/watcher-426126-1179010013 -o ROOT/results/node12/solver-426126-1179010013 -C 5000 -W 7500 -M 1800 --output-limit 1,15 /tmp/evaluation/426126-1179010013/MiraXTv3_dyn /tmp/evaluation/426126-1179010013/instance-426126-1179010013.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.99 3/77 21378
/proc/meminfo: memFree=1559864/2055920 swapFree=4154876/4192956
[pid=21378] ppid=21376 vsize=3788 CPUtime=0
/proc/21378/stat : 21378 (MiraXTv3_dyn) R 21376 21378 21247 0 -1 4194304 303 0 0 0 0 0 0 0 18 0 1 0 377038681 3878912 278 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 10131067 0 0 4096 0 0 0 0 17 1 0 0
/proc/21378/statm: 947 278 206 20 0 305 0

[startup+0.072359 s]
/proc/loadavg: 1.84 1.97 1.99 3/77 21378
/proc/meminfo: memFree=1559864/2055920 swapFree=4154876/4192956
[pid=21378] ppid=21376 vsize=4324 CPUtime=0.06
/proc/21378/stat : 21378 (MiraXTv3_dyn) R 21376 21378 21247 0 -1 4194304 433 0 0 0 6 0 0 0 18 0 1 0 377038681 4427776 408 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134583912 0 0 4096 0 0 0 0 17 1 0 0
/proc/21378/statm: 1081 408 207 20 0 439 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 4324

[startup+0.101375 s]
/proc/loadavg: 1.84 1.97 1.99 3/77 21378
/proc/meminfo: memFree=1559864/2055920 swapFree=4154876/4192956
[pid=21378] ppid=21376 vsize=4324 CPUtime=0.09
/proc/21378/stat : 21378 (MiraXTv3_dyn) R 21376 21378 21247 0 -1 4194304 433 0 0 0 9 0 0 0 18 0 1 0 377038681 4427776 408 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134583713 0 0 4096 0 0 0 0 17 1 0 0
/proc/21378/statm: 1081 408 207 20 0 439 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4324

[startup+0.301386 s]
/proc/loadavg: 1.84 1.97 1.99 3/77 21378
/proc/meminfo: memFree=1559864/2055920 swapFree=4154876/4192956
[pid=21378] ppid=21376 vsize=8600 CPUtime=0.47
/proc/21378/stat : 21378 (MiraXTv3_dyn) S 21376 21378 21247 0 -1 4194304 1045 0 0 0 47 0 0 0 18 0 3 0 377038681 8806400 1020 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21378/statm: 2150 1020 218 20 0 1508 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 8600

[startup+0.701425 s]
/proc/loadavg: 1.84 1.97 1.99 3/77 21378
/proc/meminfo: memFree=1559864/2055920 swapFree=4154876/4192956
[pid=21378] ppid=21376 vsize=12068 CPUtime=1.27
/proc/21378/stat : 21378 (MiraXTv3_dyn) S 21376 21378 21247 0 -1 4194304 1810 0 0 0 127 0 0 0 18 0 3 0 377038681 12357632 1785 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21378/statm: 3017 1785 218 20 0 2375 0
Current children cumulated CPU time (s) 1.27
Current children cumulated vsize (KiB) 12068

[startup+1.50151 s]
/proc/loadavg: 1.84 1.97 1.99 3/80 21381
/proc/meminfo: memFree=1551648/2055920 swapFree=4154876/4192956
[pid=21378] ppid=21376 vsize=15672 CPUtime=2.86
/proc/21378/stat : 21378 (MiraXTv3_dyn) S 21376 21378 21247 0 -1 4194304 2604 0 0 0 285 1 0 0 18 0 3 0 377038681 16048128 2578 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21378/statm: 3918 2578 218 20 0 3276 0
[pid=21378/tid=21380] ppid=21376 vsize=15672 CPUtime=1.37
/proc/21378/task/21380/stat : 21380 (MiraXTv3_dyn) R 21376 21378 21247 0 -1 4194368 1066 0 0 0 137 0 0 0 19 0 3 0 377038692 16048128 2578 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526319 0 0 4096 0 0 0 0 -1 1 0 0
[pid=21378/tid=21381] ppid=21376 vsize=15672 CPUtime=1.36
/proc/21378/task/21381/stat : 21381 (MiraXTv3_dyn) R 21376 21378 21247 0 -1 4194368 1072 0 0 0 136 0 0 0 17 0 3 0 377038692 16048128 2578 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526322 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.86
Current children cumulated vsize (KiB) 15672

[startup+3.10167 s]
/proc/loadavg: 1.84 1.97 1.99 3/80 21381
/proc/meminfo: memFree=1549152/2055920 swapFree=4154876/4192956
[pid=21378] ppid=21376 vsize=18048 CPUtime=6.06
/proc/21378/stat : 21378 (MiraXTv3_dyn) S 21376 21378 21247 0 -1 4194304 3329 0 0 0 603 3 0 0 18 0 3 0 377038681 18481152 3266 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21378/statm: 4512 3266 218 20 0 3870 0
[pid=21378/tid=21380] ppid=21376 vsize=18048 CPUtime=2.97
/proc/21378/task/21380/stat : 21380 (MiraXTv3_dyn) R 21376 21378 21247 0 -1 4194368 1361 0 0 0 297 0 0 0 20 0 3 0 377038692 18481152 3266 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526297 0 0 4096 0 0 0 0 -1 1 0 0
[pid=21378/tid=21381] ppid=21376 vsize=18048 CPUtime=2.96
/proc/21378/task/21381/stat : 21381 (MiraXTv3_dyn) R 21376 21378 21247 0 -1 4194368 1502 0 0 0 295 1 0 0 25 0 3 0 377038692 18481152 3266 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526489 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.06
Current children cumulated vsize (KiB) 18048

[startup+6.30299 s]
/proc/loadavg: 1.85 1.97 1.99 3/80 21381
/proc/meminfo: memFree=1541536/2055920 swapFree=4154876/4192956
[pid=21378] ppid=21376 vsize=24948 CPUtime=12.43
/proc/21378/stat : 21378 (MiraXTv3_dyn) S 21376 21378 21247 0 -1 4194304 5340 0 0 0 1239 4 0 0 18 0 3 0 377038681 25546752 5165 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21378/statm: 6237 5165 218 20 0 5595 0
[pid=21378/tid=21380] ppid=21376 vsize=24948 CPUtime=6.18
/proc/21378/task/21380/stat : 21380 (MiraXTv3_dyn) R 21376 21378 21247 0 -1 4194368 2392 0 0 0 617 1 0 0 25 0 3 0 377038692 25546752 5165 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526486 0 0 4096 0 0 0 0 -1 1 0 0
[pid=21378/tid=21381] ppid=21376 vsize=24948 CPUtime=6.14
/proc/21378/task/21381/stat : 21381 (MiraXTv3_dyn) R 21376 21378 21247 0 -1 4194368 2482 0 0 0 611 3 0 0 19 0 3 0 377038692 25546752 5165 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526373 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.43
Current children cumulated vsize (KiB) 24948

[startup+12.7016 s]
/proc/loadavg: 1.86 1.97 1.99 3/80 21381
/proc/meminfo: memFree=1533024/2055920 swapFree=4154876/4192956
[pid=21378] ppid=21376 vsize=32660 CPUtime=25.2
/proc/21378/stat : 21378 (MiraXTv3_dyn) S 21376 21378 21247 0 -1 4194304 7354 0 0 0 2514 6 0 0 18 0 3 0 377038681 33443840 6881 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21378/statm: 8165 6881 218 20 0 7523 0
[pid=21378/tid=21380] ppid=21376 vsize=32660 CPUtime=12.56
/proc/21378/task/21380/stat : 21380 (MiraXTv3_dyn) R 21376 21378 21247 0 -1 4194368 3439 0 0 0 1255 1 0 0 25 0 3 0 377038692 33443840 6881 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=21378/tid=21381] ppid=21376 vsize=32660 CPUtime=12.51
/proc/21378/task/21381/stat : 21381 (MiraXTv3_dyn) R 21376 21378 21247 0 -1 4194368 3449 0 0 0 1247 4 0 0 25 0 3 0 377038692 33443840 6881 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526489 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.2
Current children cumulated vsize (KiB) 32660

[startup+25.5019 s]
/proc/loadavg: 1.89 1.97 1.99 3/80 21381
/proc/meminfo: memFree=1522016/2055920 swapFree=4154876/4192956
[pid=21378] ppid=21376 vsize=43772 CPUtime=50.72
/proc/21378/stat : 21378 (MiraXTv3_dyn) S 21376 21378 21247 0 -1 4194304 10503 0 0 0 5063 9 0 0 18 0 3 0 377038681 44822528 9552 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21378/statm: 10943 9552 218 20 0 10301 0
[pid=21378/tid=21380] ppid=21376 vsize=43772 CPUtime=25.36
/proc/21378/task/21380/stat : 21380 (MiraXTv3_dyn) R 21376 21378 21247 0 -1 4194368 4859 0 0 0 2533 3 0 0 25 0 3 0 377038692 44822528 9552 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526322 0 0 4096 0 0 0 0 -1 1 0 0
[pid=21378/tid=21381] ppid=21376 vsize=43772 CPUtime=25.24
/proc/21378/task/21381/stat : 21381 (MiraXTv3_dyn) R 21376 21378 21247 0 -1 4194368 5178 0 0 0 2519 5 0 0 21 0 3 0 377038692 44822528 9552 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.72
Current children cumulated vsize (KiB) 43772

[startup+51.1015 s]
/proc/loadavg: 1.93 1.97 1.99 3/80 21381
/proc/meminfo: memFree=1517344/2055920 swapFree=4154876/4192956
[pid=21378] ppid=21376 vsize=48076 CPUtime=101.78
/proc/21378/stat : 21378 (MiraXTv3_dyn) S 21376 21378 21247 0 -1 4194304 12617 0 0 0 10166 12 0 0 18 0 3 0 377038681 49229824 10695 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21378/statm: 12019 10695 218 20 0 11377 0
[pid=21378/tid=21380] ppid=21376 vsize=48076 CPUtime=50.94
/proc/21378/task/21380/stat : 21380 (MiraXTv3_dyn) R 21376 21378 21247 0 -1 4194368 6059 0 0 0 5089 5 0 0 25 0 3 0 377038692 49229824 10695 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526477 0 0 4096 0 0 0 0 -1 1 0 0
[pid=21378/tid=21381] ppid=21376 vsize=48076 CPUtime=50.73
/proc/21378/task/21381/stat : 21381 (MiraXTv3_dyn) R 21376 21378 21247 0 -1 4194368 6092 0 0 0 5066 7 0 0 25 0 3 0 377038692 49229824 10695 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526702 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.78
Current children cumulated vsize (KiB) 48076

[startup+102.307 s]
/proc/loadavg: 1.97 1.97 1.99 3/80 21381
/proc/meminfo: memFree=1513248/2055920 swapFree=4154876/4192956
[pid=21378] ppid=21376 vsize=52312 CPUtime=203.91
/proc/21378/stat : 21378 (MiraXTv3_dyn) S 21376 21378 21247 0 -1 4194304 15614 0 0 0 20376 15 0 0 18 0 3 0 377038681 53567488 11695 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21378/statm: 13078 11695 218 20 0 12436 0
[pid=21378/tid=21380] ppid=21376 vsize=52312 CPUtime=102.1
/proc/21378/task/21380/stat : 21380 (MiraXTv3_dyn) R 21376 21378 21247 0 -1 4194368 7639 0 0 0 10204 6 0 0 25 0 3 0 377038692 53567488 11695 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134565721 0 0 4096 0 0 0 0 -1 1 0 0
[pid=21378/tid=21381] ppid=21376 vsize=52312 CPUtime=101.69
/proc/21378/task/21381/stat : 21381 (MiraXTv3_dyn) R 21376 21378 21247 0 -1 4194368 7509 0 0 0 10161 8 0 0 25 0 3 0 377038692 53567488 11695 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134520102 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 203.91
Current children cumulated vsize (KiB) 52312

[startup+162.303 s]
/proc/loadavg: 1.99 1.97 1.99 3/80 21381
/proc/meminfo: memFree=1507872/2055920 swapFree=4154876/4192956
[pid=21378] ppid=21376 vsize=57560 CPUtime=323.58
/proc/21378/stat : 21378 (MiraXTv3_dyn) S 21376 21378 21247 0 -1 4194304 19136 0 0 0 32340 18 0 0 18 0 3 0 377038681 58941440 13005 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21378/statm: 14390 13005 218 20 0 13748 0
[pid=21378/tid=21380] ppid=21376 vsize=57560 CPUtime=162.05
/proc/21378/task/21380/stat : 21380 (MiraXTv3_dyn) R 21376 21378 21247 0 -1 4194368 9723 0 0 0 16197 8 0 0 25 0 3 0 377038692 58941440 13005 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134520200 0 0 4096 0 0 0 0 -1 1 0 0
[pid=21378/tid=21381] ppid=21376 vsize=57560 CPUtime=161.41
/proc/21378/task/21381/stat : 21381 (MiraXTv3_dyn) R 21376 21378 21247 0 -1 4194368 8947 0 0 0 16132 9 0 0 25 0 3 0 377038692 58941440 13005 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 323.58
Current children cumulated vsize (KiB) 57560

[startup+222.302 s]
/proc/loadavg: 1.99 1.97 1.99 3/80 21381
/proc/meminfo: memFree=1506144/2055920 swapFree=4154876/4192956
[pid=21378] ppid=21376 vsize=59676 CPUtime=443.24
/proc/21378/stat : 21378 (MiraXTv3_dyn) S 21376 21378 21247 0 -1 4194304 21962 0 0 0 44304 20 0 0 18 0 3 0 377038681 61108224 13522 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21378/statm: 14919 13522 218 20 0 14277 0
[pid=21378/tid=21380] ppid=21376 vsize=59676 CPUtime=221.99
/proc/21378/task/21380/stat : 21380 (MiraXTv3_dyn) R 21376 21378 21247 0 -1 4194368 11125 0 0 0 22190 9 0 0 25 0 3 0 377038692 61108224 13522 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
[pid=21378/tid=21381] ppid=21376 vsize=59676 CPUtime=221.11
/proc/21378/task/21381/stat : 21381 (MiraXTv3_dyn) R 21376 21378 21247 0 -1 4194368 10371 0 0 0 22102 9 0 0 25 0 3 0 377038692 61108224 13522 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 443.24
Current children cumulated vsize (KiB) 59676

[startup+282.302 s]
/proc/loadavg: 1.99 1.97 1.99 3/80 21381
/proc/meminfo: memFree=1504800/2055920 swapFree=4154876/4192956
[pid=21378] ppid=21376 vsize=61276 CPUtime=562.91
/proc/21378/stat : 21378 (MiraXTv3_dyn) S 21376 21378 21247 0 -1 4194304 24437 0 0 0 56269 22 0 0 18 0 3 0 377038681 62746624 13821 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21378/statm: 15319 13821 218 20 0 14677 0
[pid=21378/tid=21380] ppid=21376 vsize=61276 CPUtime=281.96
/proc/21378/task/21380/stat : 21380 (MiraXTv3_dyn) R 21376 21378 21247 0 -1 4194368 12359 0 0 0 28185 11 0 0 25 0 3 0 377038692 62746624 13821 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
[pid=21378/tid=21381] ppid=21376 vsize=61276 CPUtime=280.83
/proc/21378/task/21381/stat : 21381 (MiraXTv3_dyn) R 21376 21378 21247 0 -1 4194368 11612 0 0 0 28073 10 0 0 25 0 3 0 377038692 62746624 13821 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 562.91
Current children cumulated vsize (KiB) 61276

[startup+342.302 s]
/proc/loadavg: 2.10 2.00 2.00 3/80 21381
/proc/meminfo: memFree=1501984/2055920 swapFree=4154876/4192956
[pid=21378] ppid=21376 vsize=63224 CPUtime=682.58
/proc/21378/stat : 21378 (MiraXTv3_dyn) S 21376 21378 21247 0 -1 4194304 27389 0 0 0 68234 24 0 0 18 0 3 0 377038681 64741376 14515 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21378/statm: 15806 14515 218 20 0 15164 0
[pid=21378/tid=21380] ppid=21376 vsize=63224 CPUtime=341.91
/proc/21378/task/21380/stat : 21380 (MiraXTv3_dyn) R 21376 21378 21247 0 -1 4194368 13966 0 0 0 34179 12 0 0 25 0 3 0 377038692 64741376 14515 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526696 0 0 4096 0 0 0 0 -1 1 0 0
[pid=21378/tid=21381] ppid=21376 vsize=63224 CPUtime=340.55
/proc/21378/task/21381/stat : 21381 (MiraXTv3_dyn) R 21376 21378 21247 0 -1 4194368 12957 0 0 0 34044 11 0 0 25 0 3 0 377038692 64741376 14515 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526291 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 682.58
Current children cumulated vsize (KiB) 63224

[startup+402.302 s]

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

/proc/21378/task/21380/stat : 21380 (MiraXTv3_dyn) R 21376 21378 21247 0 -1 4194368 41648 0 0 0 183802 38 0 0 25 0 3 0 377038692 85913600 19315 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526414 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21378/tid=21381] ppid=21376 vsize=83900 CPUtime=1835.49
/proc/21378/task/21381/stat : 21381 (MiraXTv3_dyn) R 21376 21378 21247 0 -1 4194368 40665 0 0 0 183502 47 0 0 25 0 3 0 377038692 85913600 19315 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3674.02
Current children cumulated vsize (KiB) 83900

[startup+1902.3 s]
/proc/loadavg: 2.02 2.00 2.00 3/80 21579
/proc/meminfo: memFree=1482336/2055920 swapFree=4154876/4192956
[pid=21378] ppid=21376 vsize=84164 CPUtime=3793.69
/proc/21378/stat : 21378 (MiraXTv3_dyn) S 21376 21378 21247 0 -1 4194304 84783 0 0 0 379282 87 0 0 18 0 3 0 377038681 86183936 19375 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21378/statm: 21041 19375 218 20 0 20399 0
[pid=21378/tid=21380] ppid=21376 vsize=84164 CPUtime=1898.12
/proc/21378/task/21380/stat : 21380 (MiraXTv3_dyn) R 21376 21378 21247 0 -1 4194368 42712 0 0 0 189773 39 0 0 25 0 3 0 377038692 86183936 19375 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21378/tid=21381] ppid=21376 vsize=84164 CPUtime=1895.46
/proc/21378/task/21381/stat : 21381 (MiraXTv3_dyn) R 21376 21378 21247 0 -1 4194368 41605 0 0 0 189498 48 0 0 25 0 3 0 377038692 86183936 19375 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3793.69
Current children cumulated vsize (KiB) 84164

[startup+1962.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/80 21579
/proc/meminfo: memFree=1482400/2055920 swapFree=4154876/4192956
[pid=21378] ppid=21376 vsize=84164 CPUtime=3913.36
/proc/21378/stat : 21378 (MiraXTv3_dyn) S 21376 21378 21247 0 -1 4194304 86730 0 0 0 391247 89 0 0 18 0 3 0 377038681 86183936 19378 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21378/statm: 21041 19378 218 20 0 20399 0
[pid=21378/tid=21380] ppid=21376 vsize=84164 CPUtime=1957.83
/proc/21378/task/21380/stat : 21380 (MiraXTv3_dyn) R 21376 21378 21247 0 -1 4194368 43723 0 0 0 195744 39 0 0 25 0 3 0 377038692 86183936 19378 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21378/tid=21381] ppid=21376 vsize=84164 CPUtime=1955.41
/proc/21378/task/21381/stat : 21381 (MiraXTv3_dyn) R 21376 21378 21247 0 -1 4194368 42541 0 0 0 195492 49 0 0 25 0 3 0 377038692 86183936 19378 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3913.36
Current children cumulated vsize (KiB) 84164

[startup+2022.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/80 21579
/proc/meminfo: memFree=1482016/2055920 swapFree=4154876/4192956
[pid=21378] ppid=21376 vsize=84428 CPUtime=4033.03
/proc/21378/stat : 21378 (MiraXTv3_dyn) S 21376 21378 21247 0 -1 4194304 88902 0 0 0 403212 91 0 0 18 0 3 0 377038681 86454272 19462 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21378/statm: 21107 19462 218 20 0 20465 0
[pid=21378/tid=21380] ppid=21376 vsize=84428 CPUtime=2017.54
/proc/21378/task/21380/stat : 21380 (MiraXTv3_dyn) R 21376 21378 21247 0 -1 4194368 44863 0 0 0 201714 40 0 0 25 0 3 0 377038692 86454272 19462 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526465 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21378/tid=21381] ppid=21376 vsize=84428 CPUtime=2015.36
/proc/21378/task/21381/stat : 21381 (MiraXTv3_dyn) R 21376 21378 21247 0 -1 4194368 43573 0 0 0 201486 50 0 0 25 0 3 0 377038692 86454272 19462 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526489 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4033.03
Current children cumulated vsize (KiB) 84428

[startup+2082.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/80 21579
/proc/meminfo: memFree=1481824/2055920 swapFree=4154876/4192956
[pid=21378] ppid=21376 vsize=84692 CPUtime=4152.7
/proc/21378/stat : 21378 (MiraXTv3_dyn) S 21376 21378 21247 0 -1 4194304 90979 0 0 0 415177 93 0 0 18 0 3 0 377038681 86724608 19523 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21378/statm: 21173 19523 218 20 0 20531 0
[pid=21378/tid=21380] ppid=21376 vsize=84692 CPUtime=2077.25
/proc/21378/task/21380/stat : 21380 (MiraXTv3_dyn) R 21376 21378 21247 0 -1 4194368 45904 0 0 0 207684 41 0 0 25 0 3 0 377038692 86724608 19523 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526312 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21378/tid=21381] ppid=21376 vsize=84692 CPUtime=2075.33
/proc/21378/task/21381/stat : 21381 (MiraXTv3_dyn) R 21376 21378 21247 0 -1 4194368 44609 0 0 0 207482 51 0 0 19 0 3 0 377038692 86724608 19523 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134520299 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4152.7
Current children cumulated vsize (KiB) 84692

[startup+2142.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/80 21579
/proc/meminfo: memFree=1481824/2055920 swapFree=4154876/4192956
[pid=21378] ppid=21376 vsize=84692 CPUtime=4272.38
/proc/21378/stat : 21378 (MiraXTv3_dyn) S 21376 21378 21247 0 -1 4194304 93001 0 0 0 427143 95 0 0 18 0 3 0 377038681 86724608 19529 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21378/statm: 21173 19529 218 20 0 20531 0
[pid=21378/tid=21380] ppid=21376 vsize=84692 CPUtime=2136.97
/proc/21378/task/21380/stat : 21380 (MiraXTv3_dyn) R 21376 21378 21247 0 -1 4194368 46984 0 0 0 213655 42 0 0 25 0 3 0 377038692 86724608 19529 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526489 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21378/tid=21381] ppid=21376 vsize=84692 CPUtime=2135.28
/proc/21378/task/21381/stat : 21381 (MiraXTv3_dyn) R 21376 21378 21247 0 -1 4194368 45551 0 0 0 213476 52 0 0 25 0 3 0 377038692 86724608 19529 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526422 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4272.38
Current children cumulated vsize (KiB) 84692

[startup+2202.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/80 21579
/proc/meminfo: memFree=1481696/2055920 swapFree=4154876/4192956
[pid=21378] ppid=21376 vsize=84824 CPUtime=4392.04
/proc/21378/stat : 21378 (MiraXTv3_dyn) S 21376 21378 21247 0 -1 4194304 95046 0 0 0 439108 96 0 0 18 0 3 0 377038681 86859776 19558 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21378/statm: 21206 19558 218 20 0 20564 0
[pid=21378/tid=21380] ppid=21376 vsize=84824 CPUtime=2196.68
/proc/21378/task/21380/stat : 21380 (MiraXTv3_dyn) R 21376 21378 21247 0 -1 4194368 47992 0 0 0 219625 43 0 0 25 0 3 0 377038692 86859776 19558 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526324 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21378/tid=21381] ppid=21376 vsize=84824 CPUtime=2195.24
/proc/21378/task/21381/stat : 21381 (MiraXTv3_dyn) R 21376 21378 21247 0 -1 4194368 46588 0 0 0 219471 53 0 0 25 0 3 0 377038692 86859776 19558 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4392.04
Current children cumulated vsize (KiB) 84824

[startup+2262.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/80 21579
/proc/meminfo: memFree=1481440/2055920 swapFree=4154876/4192956
[pid=21378] ppid=21376 vsize=85088 CPUtime=4511.72
/proc/21378/stat : 21378 (MiraXTv3_dyn) S 21376 21378 21247 0 -1 4194304 96976 0 0 0 451074 98 0 0 18 0 3 0 377038681 87130112 19616 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21378/statm: 21272 19616 218 20 0 20630 0
[pid=21378/tid=21380] ppid=21376 vsize=85088 CPUtime=2256.39
/proc/21378/task/21380/stat : 21380 (MiraXTv3_dyn) R 21376 21378 21247 0 -1 4194368 48958 0 0 0 225596 43 0 0 25 0 3 0 377038692 87130112 19616 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526322 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21378/tid=21381] ppid=21376 vsize=85088 CPUtime=2255.21
/proc/21378/task/21381/stat : 21381 (MiraXTv3_dyn) R 21376 21378 21247 0 -1 4194368 47552 0 0 0 225467 54 0 0 25 0 3 0 377038692 87130112 19616 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526720 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4511.72
Current children cumulated vsize (KiB) 85088

[startup+2322.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/80 21579
/proc/meminfo: memFree=1481440/2055920 swapFree=4154876/4192956
[pid=21378] ppid=21376 vsize=85088 CPUtime=4631.4
/proc/21378/stat : 21378 (MiraXTv3_dyn) S 21376 21378 21247 0 -1 4194304 98993 0 0 0 463040 100 0 0 18 0 3 0 377038681 87130112 19617 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21378/statm: 21272 19617 218 20 0 20630 0
[pid=21378/tid=21380] ppid=21376 vsize=85088 CPUtime=2316.11
/proc/21378/task/21380/stat : 21380 (MiraXTv3_dyn) R 21376 21378 21247 0 -1 4194368 49966 0 0 0 231567 44 0 0 25 0 3 0 377038692 87130112 19617 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526356 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21378/tid=21381] ppid=21376 vsize=85088 CPUtime=2315.16
/proc/21378/task/21381/stat : 21381 (MiraXTv3_dyn) R 21376 21378 21247 0 -1 4194368 48561 0 0 0 231461 55 0 0 25 0 3 0 377038692 87130112 19617 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4631.4
Current children cumulated vsize (KiB) 85088

[startup+2382.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/80 21579
/proc/meminfo: memFree=1481376/2055920 swapFree=4154876/4192956
[pid=21378] ppid=21376 vsize=85220 CPUtime=4751.07
/proc/21378/stat : 21378 (MiraXTv3_dyn) S 21376 21378 21247 0 -1 4194304 101110 0 0 0 475006 101 0 0 18 0 3 0 377038681 87265280 19646 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21378/statm: 21305 19646 218 20 0 20663 0
[pid=21378/tid=21380] ppid=21376 vsize=85220 CPUtime=2375.83
/proc/21378/task/21380/stat : 21380 (MiraXTv3_dyn) R 21376 21378 21247 0 -1 4194368 51075 0 0 0 237538 45 0 0 25 0 3 0 377038692 87265280 19646 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526373 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21378/tid=21381] ppid=21376 vsize=85220 CPUtime=2375.12
/proc/21378/task/21381/stat : 21381 (MiraXTv3_dyn) R 21376 21378 21247 0 -1 4194368 49569 0 0 0 237456 56 0 0 25 0 3 0 377038692 87265280 19646 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4751.07
Current children cumulated vsize (KiB) 85220

[startup+2442.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/80 21579
/proc/meminfo: memFree=1481312/2055920 swapFree=4154876/4192956
[pid=21378] ppid=21376 vsize=85220 CPUtime=4870.73
/proc/21378/stat : 21378 (MiraXTv3_dyn) S 21376 21378 21247 0 -1 4194304 103129 0 0 0 486970 103 0 0 18 0 3 0 377038681 87265280 19649 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21378/statm: 21305 19649 218 20 0 20663 0
[pid=21378/tid=21380] ppid=21376 vsize=85220 CPUtime=2435.53
/proc/21378/task/21380/stat : 21380 (MiraXTv3_dyn) R 21376 21378 21247 0 -1 4194368 52085 0 0 0 243508 45 0 0 25 0 3 0 377038692 87265280 19649 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21378/tid=21381] ppid=21376 vsize=85220 CPUtime=2435.08
/proc/21378/task/21381/stat : 21381 (MiraXTv3_dyn) R 21376 21378 21247 0 -1 4194368 50578 0 0 0 243451 57 0 0 25 0 3 0 377038692 87265280 19649 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526363 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4870.73
Current children cumulated vsize (KiB) 85220

[startup+2502.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/80 21579
/proc/meminfo: memFree=1481248/2055920 swapFree=4154876/4192956
[pid=21378] ppid=21376 vsize=85220 CPUtime=4990.41
/proc/21378/stat : 21378 (MiraXTv3_dyn) S 21376 21378 21247 0 -1 4194304 105218 0 0 0 498936 105 0 0 18 0 3 0 377038681 87265280 19650 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21378/statm: 21305 19650 218 20 0 20663 0
[pid=21378/tid=21380] ppid=21376 vsize=85220 CPUtime=2495.25
/proc/21378/task/21380/stat : 21380 (MiraXTv3_dyn) R 21376 21378 21247 0 -1 4194368 53166 0 0 0 249479 46 0 0 25 0 3 0 377038692 87265280 19650 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526477 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21378/tid=21381] ppid=21376 vsize=85220 CPUtime=2495.03
/proc/21378/task/21381/stat : 21381 (MiraXTv3_dyn) R 21376 21378 21247 0 -1 4194368 51586 0 0 0 249445 58 0 0 25 0 3 0 377038692 87265280 19650 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4990.41
Current children cumulated vsize (KiB) 85220



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2507.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/80 21579
/proc/meminfo: memFree=1481312/2055920 swapFree=4154876/4192956
[pid=21378] ppid=21376 vsize=85220 CPUtime=5000.19
/proc/21378/stat : 21378 (MiraXTv3_dyn) S 21376 21378 21247 0 -1 4194304 105362 0 0 0 499913 106 0 0 18 0 3 0 377038681 87265280 19650 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21378/statm: 21305 19650 218 20 0 20663 0
[pid=21378/tid=21380] ppid=21376 vsize=85220 CPUtime=2500.13
/proc/21378/task/21380/stat : 21380 (MiraXTv3_dyn) R 21376 21378 21247 0 -1 4194368 53238 0 0 0 249967 46 0 0 25 0 3 0 377038692 87265280 19650 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526294 0 0 4096 0 0 0 0 -1 0 0 0
[pid=21378/tid=21381] ppid=21376 vsize=85220 CPUtime=2499.93
/proc/21378/task/21381/stat : 21381 (MiraXTv3_dyn) R 21376 21378 21247 0 -1 4194368 51658 0 0 0 249935 58 0 0 25 0 3 0 377038692 87265280 19650 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 5000.19
Current children cumulated vsize (KiB) 85220

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.22
CPU time (s): 5000.22
CPU user time (s): 4999.15
CPU system time (s): 1.07284
CPU usage (%): 199.433
Max. virtual memory (cumulated for all children) (KiB): 85508

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4999.15
system time used= 1.07284
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 105362
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= 1156
involuntary context switches= 93450

runsolver used 2.59361 second user time and 6.578 second system time

The end

Launcher Data (download as text)

Begin job on node12 on Sat May 12 22:46:53 UTC 2007

IDJOB= 426126
IDBENCH= 19933
IDSOLVER= 196
FILE ID= node12/426126-1179010013

PBS_JOBID= 5252859

Free space on /tmp= 66538 MiB

SOLVER NAME= MiraXT v3
BENCH NAME= HOME/pub/bench/SAT07/random/OnTreshold/7SAT/v60/unif-k7-r89-v60-c5340-S1093254405-20.SAT.shuffled.cnf
COMMAND LINE= /tmp/evaluation/426126-1179010013/MiraXTv3_dyn /tmp/evaluation/426126-1179010013/instance-426126-1179010013.cnf
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node12/watcher-426126-1179010013 -o ROOT/results/node12/solver-426126-1179010013 -C 5000 -W 7500 -M 1800 --output-limit 1,15  /tmp/evaluation/426126-1179010013/MiraXTv3_dyn /tmp/evaluation/426126-1179010013/instance-426126-1179010013.cnf

META MD5SUM SOLVER= 2ad149617ed8d249d89b067eb44c33da
MD5SUM BENCH=  b50ca018e79197079aea11ca328afe4d

RANDOM SEED= 183227844

TIME LIMIT= 5000 seconds
MEMORY LIMIT= 1800 MiB

Linux node12.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.239
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.239
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:       1560208 kB
Buffers:         52512 kB
Cached:         352980 kB
SwapCached:      17604 kB
Active:         183488 kB
Inactive:       246792 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1560208 kB
SwapTotal:     4192956 kB
SwapFree:      4154876 kB
Dirty:            4056 kB
Writeback:           0 kB
Mapped:          30236 kB
Slab:            50992 kB
Committed_AS: 11001136 kB
PageTables:       1792 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= 66538 MiB

End job on node12 on Sat May 12 23:28:42 UTC 2007