Trace number 426234

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.21 2506.86

General information on the benchmark

Namerandom/LargeSize/5SAT/v1000/
unif-k5-r20-v1000-c20000-S1971221253-16.cnf
MD5SUM7d11f63b7086729c0b1c75db27f32aba
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark215.428
Satisfiable
(Un)Satisfiability was proved
Number of variables1000
Number of clauses20000
Sum of the clauses size100000
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 520000
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/node19/watcher-426234-1179000999 -o ROOT/results/node19/solver-426234-1179000999 -C 5000 -W 7500 -M 1800 --output-limit 1,15 /tmp/evaluation/426234-1179000999/MiraXTv3_dyn /tmp/evaluation/426234-1179000999/instance-426234-1179000999.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 2.00 2.00 3/77 27212
/proc/meminfo: memFree=1661768/2055920 swapFree=4148252/4192956
[pid=27212] ppid=27210 vsize=3788 CPUtime=0
/proc/27212/stat : 27212 (MiraXTv3_dyn) R 27210 27212 26883 0 -1 4194304 344 0 0 0 0 0 0 0 18 0 1 0 348017333 3878912 319 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/27212/statm: 947 325 202 20 0 305 0

[startup+0.021129 s]
/proc/loadavg: 1.84 2.00 2.00 3/77 27212
/proc/meminfo: memFree=1661768/2055920 swapFree=4148252/4192956
[pid=27212] ppid=27210 vsize=4608 CPUtime=0.01
/proc/27212/stat : 27212 (MiraXTv3_dyn) R 27210 27212 26883 0 -1 4194304 589 0 0 0 1 0 0 0 18 0 1 0 348017333 4718592 564 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134574256 0 0 4096 0 0 0 0 17 1 0 0
/proc/27212/statm: 1152 564 206 20 0 510 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 4608

[startup+0.101089 s]
/proc/loadavg: 1.84 2.00 2.00 3/77 27212
/proc/meminfo: memFree=1661768/2055920 swapFree=4148252/4192956
[pid=27212] ppid=27210 vsize=5548 CPUtime=0.09
/proc/27212/stat : 27212 (MiraXTv3_dyn) R 27210 27212 26883 0 -1 4194304 812 0 0 0 9 0 0 0 18 0 1 0 348017333 5681152 787 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134575893 0 0 4096 0 0 0 0 17 1 0 0
/proc/27212/statm: 1387 787 207 20 0 745 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5548

[startup+0.301118 s]
/proc/loadavg: 1.84 2.00 2.00 3/77 27212
/proc/meminfo: memFree=1661768/2055920 swapFree=4148252/4192956
[pid=27212] ppid=27210 vsize=14572 CPUtime=0.42
/proc/27212/stat : 27212 (MiraXTv3_dyn) S 27210 27212 26883 0 -1 4194304 1846 0 0 0 42 0 0 0 18 0 3 0 348017333 14921728 1781 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/27212/statm: 3643 1781 218 20 0 3001 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 14572

[startup+0.701162 s]
/proc/loadavg: 1.84 2.00 2.00 3/77 27212
/proc/meminfo: memFree=1661768/2055920 swapFree=4148252/4192956
[pid=27212] ppid=27210 vsize=19128 CPUtime=1.22
/proc/27212/stat : 27212 (MiraXTv3_dyn) S 27210 27212 26883 0 -1 4194304 3202 0 0 0 121 1 0 0 18 0 3 0 348017333 19587072 3137 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/27212/statm: 4782 3137 218 20 0 4140 0
Current children cumulated CPU time (s) 1.22
Current children cumulated vsize (KiB) 19128

[startup+1.50125 s]
/proc/loadavg: 1.84 2.00 2.00 3/80 27215
/proc/meminfo: memFree=1646064/2055920 swapFree=4148252/4192956
[pid=27212] ppid=27210 vsize=29624 CPUtime=2.82
/proc/27212/stat : 27212 (MiraXTv3_dyn) S 27210 27212 26883 0 -1 4194304 5701 0 0 0 280 2 0 0 18 0 3 0 348017333 30334976 5636 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/27212/statm: 7406 5636 218 20 0 6764 0
[pid=27212/tid=27214] ppid=27210 vsize=29624 CPUtime=1.34
/proc/27212/task/27214/stat : 27214 (MiraXTv3_dyn) R 27210 27212 26883 0 -1 4194368 2260 0 0 0 133 1 0 0 19 0 3 0 348017348 30334976 5636 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 7919227 0 0 4096 0 0 0 0 -1 1 0 0
[pid=27212/tid=27215] ppid=27210 vsize=29624 CPUtime=1.32
/proc/27212/task/27215/stat : 27215 (MiraXTv3_dyn) R 27210 27212 26883 0 -1 4194368 2494 0 0 0 132 0 0 0 18 0 3 0 348017348 30334976 5636 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526312 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.82
Current children cumulated vsize (KiB) 29624

[startup+3.10142 s]
/proc/loadavg: 1.84 2.00 2.00 3/80 27215
/proc/meminfo: memFree=1633136/2055920 swapFree=4148252/4192956
[pid=27212] ppid=27210 vsize=44596 CPUtime=6.02
/proc/27212/stat : 27212 (MiraXTv3_dyn) S 27210 27212 26883 0 -1 4194304 9307 0 0 0 597 5 0 0 18 0 3 0 348017333 45666304 9242 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/27212/statm: 11149 9242 218 20 0 10507 0
[pid=27212/tid=27214] ppid=27210 vsize=44596 CPUtime=2.94
/proc/27212/task/27214/stat : 27214 (MiraXTv3_dyn) R 27210 27212 26883 0 -1 4194368 4012 0 0 0 292 2 0 0 25 0 3 0 348017348 45666304 9242 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526004 0 0 4096 0 0 0 0 -1 1 0 0
[pid=27212/tid=27215] ppid=27210 vsize=44596 CPUtime=2.92
/proc/27212/task/27215/stat : 27215 (MiraXTv3_dyn) R 27210 27212 26883 0 -1 4194368 4348 0 0 0 290 2 0 0 19 0 3 0 348017348 45666304 9242 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526696 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.02
Current children cumulated vsize (KiB) 44596

[startup+6.30277 s]
/proc/loadavg: 1.85 2.00 2.00 3/80 27215
/proc/meminfo: memFree=1619576/2055920 swapFree=4148252/4192956
[pid=27212] ppid=27210 vsize=55520 CPUtime=12.39
/proc/27212/stat : 27212 (MiraXTv3_dyn) S 27210 27212 26883 0 -1 4194304 12190 0 0 0 1233 6 0 0 18 0 3 0 348017333 56852480 12089 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/27212/statm: 13880 12089 218 20 0 13238 0
[pid=27212/tid=27214] ppid=27210 vsize=55520 CPUtime=6.14
/proc/27212/task/27214/stat : 27214 (MiraXTv3_dyn) R 27210 27212 26883 0 -1 4194368 5444 0 0 0 612 2 0 0 25 0 3 0 348017348 56852480 12089 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
[pid=27212/tid=27215] ppid=27210 vsize=55520 CPUtime=6.09
/proc/27212/task/27215/stat : 27215 (MiraXTv3_dyn) R 27210 27212 26883 0 -1 4194368 5799 0 0 0 606 3 0 0 25 0 3 0 348017348 56852480 12089 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526717 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.39
Current children cumulated vsize (KiB) 55520

[startup+12.7015 s]
/proc/loadavg: 1.86 2.00 2.00 3/80 27215
/proc/meminfo: memFree=1569656/2055920 swapFree=4148252/4192956
[pid=27212] ppid=27210 vsize=104080 CPUtime=25.15
/proc/27212/stat : 27212 (MiraXTv3_dyn) S 27210 27212 26883 0 -1 4194304 24668 0 0 0 2499 16 0 0 18 0 3 0 348017333 106577920 24365 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/27212/statm: 26020 24365 218 20 0 25378 0
[pid=27212/tid=27214] ppid=27210 vsize=104080 CPUtime=12.54
/proc/27212/task/27214/stat : 27214 (MiraXTv3_dyn) R 27210 27212 26883 0 -1 4194368 11565 0 0 0 1247 7 0 0 25 0 3 0 348017348 106577920 24365 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526489 0 0 4096 0 0 0 0 -1 1 0 0
[pid=27212/tid=27215] ppid=27210 vsize=104080 CPUtime=12.46
/proc/27212/task/27215/stat : 27215 (MiraXTv3_dyn) R 27210 27212 26883 0 -1 4194368 12156 0 0 0 1238 8 0 0 18 0 3 0 348017348 106577920 24365 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.15
Current children cumulated vsize (KiB) 104080

[startup+25.5019 s]
/proc/loadavg: 1.89 2.00 2.00 3/80 27215
/proc/meminfo: memFree=1545336/2055920 swapFree=4148252/4192956
[pid=27212] ppid=27210 vsize=123448 CPUtime=50.66
/proc/27212/stat : 27212 (MiraXTv3_dyn) S 27210 27212 26883 0 -1 4194304 29734 0 0 0 5045 21 0 0 18 0 3 0 348017333 126410752 29109 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/27212/statm: 30862 29109 218 20 0 30220 0
[pid=27212/tid=27214] ppid=27210 vsize=123448 CPUtime=25.33
/proc/27212/task/27214/stat : 27214 (MiraXTv3_dyn) R 27210 27212 26883 0 -1 4194368 14187 0 0 0 2524 9 0 0 25 0 3 0 348017348 126410752 29109 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526720 0 0 4096 0 0 0 0 -1 1 0 0
[pid=27212/tid=27215] ppid=27210 vsize=123448 CPUtime=25.18
/proc/27212/task/27215/stat : 27215 (MiraXTv3_dyn) R 27210 27212 26883 0 -1 4194368 14600 0 0 0 2507 11 0 0 25 0 3 0 348017348 126410752 29109 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.66
Current children cumulated vsize (KiB) 123448

[startup+51.1016 s]
/proc/loadavg: 1.93 2.00 2.00 3/80 27215
/proc/meminfo: memFree=1507128/2055920 swapFree=4148252/4192956
[pid=27212] ppid=27210 vsize=160936 CPUtime=101.72
/proc/27212/stat : 27212 (MiraXTv3_dyn) S 27210 27212 26883 0 -1 4194304 39955 0 0 0 10142 30 0 0 18 0 3 0 348017333 164798464 38648 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/27212/statm: 40234 38648 218 20 0 39592 0
[pid=27212/tid=27214] ppid=27210 vsize=160936 CPUtime=50.91
/proc/27212/task/27214/stat : 27214 (MiraXTv3_dyn) R 27210 27212 26883 0 -1 4194368 18997 0 0 0 5078 13 0 0 25 0 3 0 348017348 164798464 38648 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134520200 0 0 4096 0 0 0 0 -1 1 0 0
[pid=27212/tid=27215] ppid=27210 vsize=160936 CPUtime=50.65
/proc/27212/task/27215/stat : 27215 (MiraXTv3_dyn) R 27210 27212 26883 0 -1 4194368 20011 0 0 0 5049 16 0 0 25 0 3 0 348017348 164798464 38648 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526712 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.72
Current children cumulated vsize (KiB) 160936

[startup+102.305 s]
/proc/loadavg: 1.97 2.00 2.00 3/80 27215
/proc/meminfo: memFree=1484856/2055920 swapFree=4148252/4192956
[pid=27212] ppid=27210 vsize=182608 CPUtime=203.83
/proc/27212/stat : 27212 (MiraXTv3_dyn) S 27210 27212 26883 0 -1 4194304 46486 0 0 0 20343 40 0 0 18 0 3 0 348017333 186990592 44197 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/27212/statm: 45652 44197 218 20 0 45010 0
[pid=27212/tid=27214] ppid=27210 vsize=182608 CPUtime=102.06
/proc/27212/task/27214/stat : 27214 (MiraXTv3_dyn) R 27210 27212 26883 0 -1 4194368 21927 0 0 0 10189 17 0 0 25 0 3 0 348017348 186990592 44197 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
[pid=27212/tid=27215] ppid=27210 vsize=182608 CPUtime=101.61
/proc/27212/task/27215/stat : 27215 (MiraXTv3_dyn) R 27210 27212 26883 0 -1 4194368 23612 0 0 0 10139 22 0 0 25 0 3 0 348017348 186990592 44197 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134565721 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 203.83
Current children cumulated vsize (KiB) 182608

[startup+162.302 s]
/proc/loadavg: 1.99 2.00 2.00 3/80 27215
/proc/meminfo: memFree=1477880/2055920 swapFree=4148252/4192956
[pid=27212] ppid=27210 vsize=189524 CPUtime=323.47
/proc/27212/stat : 27212 (MiraXTv3_dyn) S 27210 27212 26883 0 -1 4194304 49560 0 0 0 32305 42 0 0 18 0 3 0 348017333 194072576 45945 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/27212/statm: 47381 45945 218 20 0 46739 0
[pid=27212/tid=27214] ppid=27210 vsize=189524 CPUtime=161.76
/proc/27212/task/27214/stat : 27214 (MiraXTv3_dyn) R 27210 27212 26883 0 -1 4194368 24321 0 0 0 16158 18 0 0 25 0 3 0 348017348 194072576 45945 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=27212/tid=27215] ppid=27210 vsize=189524 CPUtime=161.55
/proc/27212/task/27215/stat : 27215 (MiraXTv3_dyn) R 27210 27212 26883 0 -1 4194368 24292 0 0 0 16132 23 0 0 25 0 3 0 348017348 194072576 45945 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 323.47
Current children cumulated vsize (KiB) 189524

[startup+222.301 s]
/proc/loadavg: 1.99 2.00 2.00 3/80 27215
/proc/meminfo: memFree=1454776/2055920 swapFree=4148252/4192956
[pid=27212] ppid=27210 vsize=212752 CPUtime=443.17
/proc/27212/stat : 27212 (MiraXTv3_dyn) S 27210 27212 26883 0 -1 4194304 56454 0 0 0 44265 52 0 0 18 0 3 0 348017333 217858048 51700 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/27212/statm: 53188 51700 218 20 0 52546 0
[pid=27212/tid=27214] ppid=27210 vsize=212752 CPUtime=221.5
/proc/27212/task/27214/stat : 27214 (MiraXTv3_dyn) R 27210 27212 26883 0 -1 4194368 27181 0 0 0 22128 22 0 0 25 0 3 0 348017348 217858048 51700 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526404 0 0 4096 0 0 0 0 -1 0 0 0
[pid=27212/tid=27215] ppid=27210 vsize=212752 CPUtime=221.51
/proc/27212/task/27215/stat : 27215 (MiraXTv3_dyn) R 27210 27212 26883 0 -1 4194368 28326 0 0 0 22122 29 0 0 25 0 3 0 348017348 217858048 51700 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 443.17
Current children cumulated vsize (KiB) 212752

[startup+282.302 s]
/proc/loadavg: 2.05 2.01 2.00 3/80 27215
/proc/meminfo: memFree=1447672/2055920 swapFree=4148252/4192956
[pid=27212] ppid=27210 vsize=219748 CPUtime=562.86
/proc/27212/stat : 27212 (MiraXTv3_dyn) S 27210 27212 26883 0 -1 4194304 59565 0 0 0 56231 55 0 0 18 0 3 0 348017333 225021952 53471 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/27212/statm: 54937 53471 218 20 0 54295 0
[pid=27212/tid=27214] ppid=27210 vsize=219748 CPUtime=281.23
/proc/27212/task/27214/stat : 27214 (MiraXTv3_dyn) R 27210 27212 26883 0 -1 4194368 29609 0 0 0 28098 25 0 0 25 0 3 0 348017348 225021952 53471 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
[pid=27212/tid=27215] ppid=27210 vsize=219748 CPUtime=281.47
/proc/27212/task/27215/stat : 27215 (MiraXTv3_dyn) R 27210 27212 26883 0 -1 4194368 29009 0 0 0 28118 29 0 0 25 0 3 0 348017348 225021952 53471 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 562.86
Current children cumulated vsize (KiB) 219748

[startup+342.301 s]
/proc/loadavg: 2.02 2.01 2.00 3/80 27215
/proc/meminfo: memFree=1440056/2055920 swapFree=4148252/4192956
[pid=27212] ppid=27210 vsize=226988 CPUtime=682.53
/proc/27212/stat : 27212 (MiraXTv3_dyn) S 27210 27212 26883 0 -1 4194304 62300 0 0 0 68195 58 0 0 18 0 3 0 348017333 232435712 55385 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/27212/statm: 56747 55385 218 20 0 56105 0
[pid=27212/tid=27214] ppid=27210 vsize=226988 CPUtime=340.94
/proc/27212/task/27214/stat : 27214 (MiraXTv3_dyn) R 27210 27212 26883 0 -1 4194368 31434 0 0 0 34068 26 0 0 25 0 3 0 348017348 232435712 55385 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526309 0 0 4096 0 0 0 0 -1 0 0 0
[pid=27212/tid=27215] ppid=27210 vsize=226988 CPUtime=341.43
/proc/27212/task/27215/stat : 27215 (MiraXTv3_dyn) R 27210 27212 26883 0 -1 4194368 29919 0 0 0 34112 31 0 0 25 0 3 0 348017348 232435712 55385 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526294 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 682.53
Current children cumulated vsize (KiB) 226988

[startup+402.302 s]

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

/proc/27212/task/27214/stat : 27214 (MiraXTv3_dyn) R 27210 27212 26883 0 -1 4194368 41323 0 0 0 183624 41 0 0 25 0 3 0 348017348 277151744 66151 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
[pid=27212/tid=27215] ppid=27210 vsize=270656 CPUtime=1837.73
/proc/27212/task/27215/stat : 27215 (MiraXTv3_dyn) R 27210 27212 26883 0 -1 4194368 42099 0 0 0 183720 53 0 0 25 0 3 0 348017348 277151744 66151 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3674.55
Current children cumulated vsize (KiB) 270656

[startup+1902.3 s]
/proc/loadavg: 2.04 2.10 2.03 3/80 27217
/proc/meminfo: memFree=1396920/2055920 swapFree=4148252/4192956
[pid=27212] ppid=27210 vsize=270656 CPUtime=3794.24
/proc/27212/stat : 27212 (MiraXTv3_dyn) S 27210 27212 26883 0 -1 4194304 84861 0 0 0 379328 96 0 0 18 0 3 0 348017333 277151744 66153 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/27212/statm: 67664 66153 218 20 0 67022 0
[pid=27212/tid=27214] ppid=27210 vsize=270656 CPUtime=1896.62
/proc/27212/task/27214/stat : 27214 (MiraXTv3_dyn) R 27210 27212 26883 0 -1 4194368 41324 0 0 0 189621 41 0 0 25 0 3 0 348017348 277151744 66153 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=27212/tid=27215] ppid=27210 vsize=270656 CPUtime=1897.46
/proc/27212/task/27215/stat : 27215 (MiraXTv3_dyn) R 27210 27212 26883 0 -1 4194368 42590 0 0 0 189692 54 0 0 25 0 3 0 348017348 277151744 66153 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526719 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3794.24
Current children cumulated vsize (KiB) 270656

[startup+1962.3 s]
/proc/loadavg: 2.01 2.08 2.02 3/80 27217
/proc/meminfo: memFree=1396984/2055920 swapFree=4148252/4192956
[pid=27212] ppid=27210 vsize=270656 CPUtime=3913.95
/proc/27212/stat : 27212 (MiraXTv3_dyn) S 27210 27212 26883 0 -1 4194304 85281 0 0 0 391298 97 0 0 18 0 3 0 348017333 277151744 66153 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/27212/statm: 67664 66153 218 20 0 67022 0
[pid=27212/tid=27214] ppid=27210 vsize=270656 CPUtime=1956.6
/proc/27212/task/27214/stat : 27214 (MiraXTv3_dyn) R 27210 27212 26883 0 -1 4194368 41324 0 0 0 195618 42 0 0 25 0 3 0 348017348 277151744 66153 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526702 0 0 4096 0 0 0 0 -1 1 0 0
[pid=27212/tid=27215] ppid=27210 vsize=270656 CPUtime=1957.18
/proc/27212/task/27215/stat : 27215 (MiraXTv3_dyn) R 27210 27212 26883 0 -1 4194368 43010 0 0 0 195664 54 0 0 25 0 3 0 348017348 277151744 66153 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526361 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3913.95
Current children cumulated vsize (KiB) 270656

[startup+2022.3 s]
/proc/loadavg: 2.00 2.06 2.02 3/80 27217
/proc/meminfo: memFree=1393080/2055920 swapFree=4148252/4192956
[pid=27212] ppid=27210 vsize=274752 CPUtime=4033.64
/proc/27212/stat : 27212 (MiraXTv3_dyn) S 27210 27212 26883 0 -1 4194304 86684 0 0 0 403265 99 0 0 18 0 3 0 348017333 281346048 67136 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/27212/statm: 68688 67136 218 20 0 68046 0
[pid=27212/tid=27214] ppid=27210 vsize=274752 CPUtime=2016.57
/proc/27212/task/27214/stat : 27214 (MiraXTv3_dyn) R 27210 27212 26883 0 -1 4194368 41824 0 0 0 201614 43 0 0 25 0 3 0 348017348 281346048 67136 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
[pid=27212/tid=27215] ppid=27210 vsize=274752 CPUtime=2016.92
/proc/27212/task/27215/stat : 27215 (MiraXTv3_dyn) R 27210 27212 26883 0 -1 4194368 43913 0 0 0 201636 56 0 0 25 0 3 0 348017348 281346048 67136 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4033.64
Current children cumulated vsize (KiB) 274752

[startup+2082.31 s]
/proc/loadavg: 2.00 2.05 2.01 3/80 27217
/proc/meminfo: memFree=1393080/2055920 swapFree=4148252/4192956
[pid=27212] ppid=27210 vsize=274752 CPUtime=4153.31
/proc/27212/stat : 27212 (MiraXTv3_dyn) S 27210 27212 26883 0 -1 4194304 87107 0 0 0 415231 100 0 0 18 0 3 0 348017333 281346048 67139 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/27212/statm: 68688 67139 218 20 0 68046 0
[pid=27212/tid=27214] ppid=27210 vsize=274752 CPUtime=2076.53
/proc/27212/task/27214/stat : 27214 (MiraXTv3_dyn) R 27210 27212 26883 0 -1 4194368 41827 0 0 0 207610 43 0 0 25 0 3 0 348017348 281346048 67139 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
[pid=27212/tid=27215] ppid=27210 vsize=274752 CPUtime=2076.62
/proc/27212/task/27215/stat : 27215 (MiraXTv3_dyn) R 27210 27212 26883 0 -1 4194368 44333 0 0 0 207606 56 0 0 25 0 3 0 348017348 281346048 67139 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526394 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4153.31
Current children cumulated vsize (KiB) 274752

[startup+2142.3 s]
/proc/loadavg: 2.00 2.04 2.00 3/80 27217
/proc/meminfo: memFree=1393080/2055920 swapFree=4148252/4192956
[pid=27212] ppid=27210 vsize=274752 CPUtime=4273
/proc/27212/stat : 27212 (MiraXTv3_dyn) S 27210 27212 26883 0 -1 4194304 87597 0 0 0 427199 101 0 0 18 0 3 0 348017333 281346048 67139 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/27212/statm: 68688 67139 218 20 0 68046 0
[pid=27212/tid=27214] ppid=27210 vsize=274752 CPUtime=2136.5
/proc/27212/task/27214/stat : 27214 (MiraXTv3_dyn) R 27210 27212 26883 0 -1 4194368 41827 0 0 0 213606 44 0 0 25 0 3 0 348017348 281346048 67139 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134520275 0 0 4096 0 0 0 0 -1 1 0 0
[pid=27212/tid=27215] ppid=27210 vsize=274752 CPUtime=2136.34
/proc/27212/task/27215/stat : 27215 (MiraXTv3_dyn) R 27210 27212 26883 0 -1 4194368 44823 0 0 0 213578 56 0 0 25 0 3 0 348017348 281346048 67139 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134520412 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4273
Current children cumulated vsize (KiB) 274752

[startup+2202.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/80 27217
/proc/meminfo: memFree=1393080/2055920 swapFree=4148252/4192956
[pid=27212] ppid=27210 vsize=274752 CPUtime=4392.69
/proc/27212/stat : 27212 (MiraXTv3_dyn) S 27210 27212 26883 0 -1 4194304 87598 0 0 0 439167 102 0 0 18 0 3 0 348017333 281346048 67134 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/27212/statm: 68688 67134 218 20 0 68046 0
[pid=27212/tid=27214] ppid=27210 vsize=274752 CPUtime=2196.46
/proc/27212/task/27214/stat : 27214 (MiraXTv3_dyn) R 27210 27212 26883 0 -1 4194368 41827 0 0 0 219602 44 0 0 25 0 3 0 348017348 281346048 67134 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526719 0 0 4096 0 0 0 0 -1 1 0 0
[pid=27212/tid=27215] ppid=27210 vsize=274752 CPUtime=2196.06
/proc/27212/task/27215/stat : 27215 (MiraXTv3_dyn) R 27210 27212 26883 0 -1 4194368 44824 0 0 0 219550 56 0 0 25 0 3 0 348017348 281346048 67134 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 7919260 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4392.69
Current children cumulated vsize (KiB) 274752

[startup+2262.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/80 27217
/proc/meminfo: memFree=1393080/2055920 swapFree=4148252/4192956
[pid=27212] ppid=27210 vsize=274752 CPUtime=4512.38
/proc/27212/stat : 27212 (MiraXTv3_dyn) S 27210 27212 26883 0 -1 4194304 87599 0 0 0 451136 102 0 0 18 0 3 0 348017333 281346048 67134 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/27212/statm: 68688 67134 218 20 0 68046 0
[pid=27212/tid=27214] ppid=27210 vsize=274752 CPUtime=2256.44
/proc/27212/task/27214/stat : 27214 (MiraXTv3_dyn) R 27210 27212 26883 0 -1 4194368 41828 0 0 0 225599 45 0 0 25 0 3 0 348017348 281346048 67134 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=27212/tid=27215] ppid=27210 vsize=274752 CPUtime=2255.79
/proc/27212/task/27215/stat : 27215 (MiraXTv3_dyn) R 27210 27212 26883 0 -1 4194368 44824 0 0 0 225522 57 0 0 25 0 3 0 348017348 281346048 67134 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4512.38
Current children cumulated vsize (KiB) 274752

[startup+2322.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/80 27217
/proc/meminfo: memFree=1393080/2055920 swapFree=4148252/4192956
[pid=27212] ppid=27210 vsize=274752 CPUtime=4632.05
/proc/27212/stat : 27212 (MiraXTv3_dyn) S 27210 27212 26883 0 -1 4194304 87599 0 0 0 463102 103 0 0 18 0 3 0 348017333 281346048 67133 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/27212/statm: 68688 67133 218 20 0 68046 0
[pid=27212/tid=27214] ppid=27210 vsize=274752 CPUtime=2316.39
/proc/27212/task/27214/stat : 27214 (MiraXTv3_dyn) R 27210 27212 26883 0 -1 4194368 41828 0 0 0 231594 45 0 0 25 0 3 0 348017348 281346048 67133 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526714 0 0 4096 0 0 0 0 -1 1 0 0
[pid=27212/tid=27215] ppid=27210 vsize=274752 CPUtime=2315.5
/proc/27212/task/27215/stat : 27215 (MiraXTv3_dyn) R 27210 27212 26883 0 -1 4194368 44824 0 0 0 231493 57 0 0 25 0 3 0 348017348 281346048 67133 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526702 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4632.05
Current children cumulated vsize (KiB) 274752

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/80 27217
/proc/meminfo: memFree=1393144/2055920 swapFree=4148252/4192956
[pid=27212] ppid=27210 vsize=274752 CPUtime=4751.76
/proc/27212/stat : 27212 (MiraXTv3_dyn) S 27210 27212 26883 0 -1 4194304 87599 0 0 0 475072 104 0 0 18 0 3 0 348017333 281346048 67133 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/27212/statm: 68688 67133 218 20 0 68046 0
[pid=27212/tid=27214] ppid=27210 vsize=274752 CPUtime=2376.37
/proc/27212/task/27214/stat : 27214 (MiraXTv3_dyn) R 27210 27212 26883 0 -1 4194368 41828 0 0 0 237591 46 0 0 25 0 3 0 348017348 281346048 67133 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=27212/tid=27215] ppid=27210 vsize=274752 CPUtime=2375.23
/proc/27212/task/27215/stat : 27215 (MiraXTv3_dyn) R 27210 27212 26883 0 -1 4194368 44824 0 0 0 237466 57 0 0 25 0 3 0 348017348 281346048 67133 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4751.76
Current children cumulated vsize (KiB) 274752

[startup+2442.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/80 27217
/proc/meminfo: memFree=1384056/2055920 swapFree=4148252/4192956
[pid=27212] ppid=27210 vsize=283596 CPUtime=4871.46
/proc/27212/stat : 27212 (MiraXTv3_dyn) S 27210 27212 26883 0 -1 4194304 90021 0 0 0 487039 107 0 0 18 0 3 0 348017333 290402304 69342 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/27212/statm: 70899 69342 218 20 0 70257 0
[pid=27212/tid=27214] ppid=27210 vsize=283596 CPUtime=2436.34
/proc/27212/task/27214/stat : 27214 (MiraXTv3_dyn) R 27210 27212 26883 0 -1 4194368 44250 0 0 0 243585 49 0 0 25 0 3 0 348017348 290402304 69342 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
[pid=27212/tid=27215] ppid=27210 vsize=283596 CPUtime=2434.95
/proc/27212/task/27215/stat : 27215 (MiraXTv3_dyn) R 27210 27212 26883 0 -1 4194368 44824 0 0 0 243438 57 0 0 25 0 3 0 348017348 290402304 69342 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526475 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4871.46
Current children cumulated vsize (KiB) 283596

[startup+2502.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/80 27217
/proc/meminfo: memFree=1384056/2055920 swapFree=4148252/4192956
[pid=27212] ppid=27210 vsize=283596 CPUtime=4991.16
/proc/27212/stat : 27212 (MiraXTv3_dyn) S 27210 27212 26883 0 -1 4194304 90447 0 0 0 499008 108 0 0 18 0 3 0 348017333 290402304 69342 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/27212/statm: 70899 69342 218 20 0 70257 0
[pid=27212/tid=27214] ppid=27210 vsize=283596 CPUtime=2496.31
/proc/27212/task/27214/stat : 27214 (MiraXTv3_dyn) R 27210 27212 26883 0 -1 4194368 44676 0 0 0 249582 49 0 0 25 0 3 0 348017348 290402304 69342 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=27212/tid=27215] ppid=27210 vsize=283596 CPUtime=2494.7
/proc/27212/task/27215/stat : 27215 (MiraXTv3_dyn) R 27210 27212 26883 0 -1 4194368 44824 0 0 0 249412 58 0 0 25 0 3 0 348017348 290402304 69342 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526277 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4991.16
Current children cumulated vsize (KiB) 283596



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2506.8 s]
/proc/loadavg: 2.00 2.00 2.00 3/80 27217
/proc/meminfo: memFree=1384056/2055920 swapFree=4148252/4192956
[pid=27212] ppid=27210 vsize=283596 CPUtime=5000.15
/proc/27212/stat : 27212 (MiraXTv3_dyn) S 27210 27212 26883 0 -1 4194304 90447 0 0 0 499907 108 0 0 18 0 3 0 348017333 290402304 69342 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/27212/statm: 70899 69342 218 20 0 70257 0
[pid=27212/tid=27214] ppid=27210 vsize=283596 CPUtime=2500.81
/proc/27212/task/27214/stat : 27214 (MiraXTv3_dyn) R 27210 27212 26883 0 -1 4194368 44676 0 0 0 250032 49 0 0 25 0 3 0 348017348 290402304 69342 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=27212/tid=27215] ppid=27210 vsize=283596 CPUtime=2499.17
/proc/27212/task/27215/stat : 27215 (MiraXTv3_dyn) R 27210 27212 26883 0 -1 4194368 44824 0 0 0 249859 58 0 0 25 0 3 0 348017348 290402304 69342 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134565715 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 5000.15
Current children cumulated vsize (KiB) 283596

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): 2506.86
CPU time (s): 5000.21
CPU user time (s): 4999.08
CPU system time (s): 1.12983
CPU usage (%): 199.461
Max. virtual memory (cumulated for all children) (KiB): 283596

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4999.08
system time used= 1.12983
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 90447
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= 1024
involuntary context switches= 94221

runsolver used 2.51162 second user time and 6.61699 second system time

The end

Launcher Data (download as text)

Begin job on node19 on Sat May 12 20:16:40 UTC 2007

IDJOB= 426234
IDBENCH= 20059
IDSOLVER= 196
FILE ID= node19/426234-1179000999

PBS_JOBID= 5252840

Free space on /tmp= 66513 MiB

SOLVER NAME= MiraXT v3
BENCH NAME= HOME/pub/bench/SAT07/random/LargeSize/5SAT/v1000/unif-k5-r20-v1000-c20000-S1971221253-16.cnf
COMMAND LINE= /tmp/evaluation/426234-1179000999/MiraXTv3_dyn /tmp/evaluation/426234-1179000999/instance-426234-1179000999.cnf
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node19/watcher-426234-1179000999 -o ROOT/results/node19/solver-426234-1179000999 -C 5000 -W 7500 -M 1800 --output-limit 1,15  /tmp/evaluation/426234-1179000999/MiraXTv3_dyn /tmp/evaluation/426234-1179000999/instance-426234-1179000999.cnf

META MD5SUM SOLVER= 2ad149617ed8d249d89b067eb44c33da
MD5SUM BENCH=  7d11f63b7086729c0b1c75db27f32aba

RANDOM SEED= 836987713

TIME LIMIT= 5000 seconds
MEMORY LIMIT= 1800 MiB

Linux node19.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.213
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.213
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:       1661984 kB
Buffers:         50480 kB
Cached:         255792 kB
SwapCached:      14280 kB
Active:         165112 kB
Inactive:       165000 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1661984 kB
SwapTotal:     4192956 kB
SwapFree:      4148252 kB
Dirty:            4392 kB
Writeback:           0 kB
Mapped:          29996 kB
Slab:            49336 kB
Committed_AS:  9258964 kB
PageTables:       1784 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= 66513 MiB

End job on node19 on Sat May 12 20:58:28 UTC 2007