Trace number 426207

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
MiraXT v3? (TO) 5000.25 2507.05

General information on the benchmark

Namerandom/LargeSize/5SAT/v800/
unif-k5-r20-v800-c16000-S409844453-15.cnf
MD5SUM58c189a77b8c83423395850401eab73e
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark181.615
Satisfiable
(Un)Satisfiability was proved
Number of variables800
Number of clauses16000
Sum of the clauses size80000
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 516000
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/node14/watcher-426207-1178998428 -o ROOT/results/node14/solver-426207-1178998428 -C 5000 -W 7500 -M 1800 --output-limit 1,15 /tmp/evaluation/426207-1178998428/MiraXTv3_dyn /tmp/evaluation/426207-1178998428/instance-426207-1178998428.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.98 1.99 3/77 5704
/proc/meminfo: memFree=1548048/2055920 swapFree=4145896/4192956
[pid=5704] ppid=5702 vsize=3788 CPUtime=0
/proc/5704/stat : 5704 (MiraXTv3_dyn) R 5702 5704 5632 0 -1 4194304 364 0 0 0 0 0 0 0 18 0 1 0 347760540 3878912 340 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 7362171 0 0 4096 0 0 0 0 17 1 0 0
/proc/5704/statm: 947 342 205 20 0 305 0

[startup+0.012507 s]
/proc/loadavg: 1.84 1.98 1.99 3/77 5704
/proc/meminfo: memFree=1548048/2055920 swapFree=4145896/4192956
[pid=5704] ppid=5702 vsize=4184 CPUtime=0
/proc/5704/stat : 5704 (MiraXTv3_dyn) R 5702 5704 5632 0 -1 4194304 467 0 0 0 0 0 0 0 18 0 1 0 347760540 4284416 442 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134585096 0 0 4096 0 0 0 0 17 1 0 0
/proc/5704/statm: 1046 443 206 20 0 404 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 4184

[startup+0.101515 s]
/proc/loadavg: 1.84 1.98 1.99 3/77 5704
/proc/meminfo: memFree=1548048/2055920 swapFree=4145896/4192956
[pid=5704] ppid=5702 vsize=5316 CPUtime=0.09
/proc/5704/stat : 5704 (MiraXTv3_dyn) R 5702 5704 5632 0 -1 4194304 740 0 0 0 9 0 0 0 18 0 1 0 347760540 5443584 715 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134583713 0 0 4096 0 0 0 0 17 1 0 0
/proc/5704/statm: 1329 715 207 20 0 687 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5316

[startup+0.302542 s]
/proc/loadavg: 1.84 1.98 1.99 3/77 5704
/proc/meminfo: memFree=1548048/2055920 swapFree=4145896/4192956
[pid=5704] ppid=5702 vsize=13176 CPUtime=0.47
/proc/5704/stat : 5704 (MiraXTv3_dyn) S 5702 5704 5632 0 -1 4194304 1842 0 0 0 46 1 0 0 18 0 3 0 347760540 13492224 1744 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/5704/statm: 3294 1744 218 20 0 2652 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 13176

[startup+0.702578 s]
/proc/loadavg: 1.84 1.98 1.99 3/77 5704
/proc/meminfo: memFree=1548048/2055920 swapFree=4145896/4192956
[pid=5704] ppid=5702 vsize=18756 CPUtime=1.27
/proc/5704/stat : 5704 (MiraXTv3_dyn) S 5702 5704 5632 0 -1 4194304 3204 0 0 0 125 2 0 0 18 0 3 0 347760540 19206144 3106 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/5704/statm: 4689 3107 218 20 0 4047 0
Current children cumulated CPU time (s) 1.27
Current children cumulated vsize (KiB) 18756

[startup+1.50165 s]
/proc/loadavg: 1.84 1.98 1.99 3/80 5707
/proc/meminfo: memFree=1532408/2055920 swapFree=4145896/4192956
[pid=5704] ppid=5702 vsize=29232 CPUtime=2.86
/proc/5704/stat : 5704 (MiraXTv3_dyn) S 5702 5704 5632 0 -1 4194304 5675 0 0 0 281 5 0 0 18 0 3 0 347760540 29933568 5577 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/5704/statm: 7308 5577 218 20 0 6666 0
[pid=5704/tid=5706] ppid=5702 vsize=29232 CPUtime=1.38
/proc/5704/task/5706/stat : 5706 (MiraXTv3_dyn) R 5702 5704 5632 0 -1 4194368 2326 0 0 0 136 2 0 0 25 0 3 0 347760552 29933568 5577 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 7362117 0 0 4096 0 0 0 0 -1 1 0 0
[pid=5704/tid=5707] ppid=5702 vsize=29232 CPUtime=1.36
/proc/5704/task/5707/stat : 5707 (MiraXTv3_dyn) R 5702 5704 5632 0 -1 4194368 2492 0 0 0 134 2 0 0 17 0 3 0 347760552 29933568 5577 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526420 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.86
Current children cumulated vsize (KiB) 29232

[startup+3.10181 s]
/proc/loadavg: 1.85 1.98 1.99 3/80 5707
/proc/meminfo: memFree=1519416/2055920 swapFree=4145896/4192956
[pid=5704] ppid=5702 vsize=40376 CPUtime=6.06
/proc/5704/stat : 5704 (MiraXTv3_dyn) S 5702 5704 5632 0 -1 4194304 8350 0 0 0 599 7 0 0 18 0 3 0 347760540 41345024 8252 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/5704/statm: 10094 8252 218 20 0 9452 0
[pid=5704/tid=5706] ppid=5702 vsize=40376 CPUtime=2.98
/proc/5704/task/5706/stat : 5706 (MiraXTv3_dyn) R 5702 5704 5632 0 -1 4194368 3633 0 0 0 295 3 0 0 17 0 3 0 347760552 41345024 8252 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
[pid=5704/tid=5707] ppid=5702 vsize=40376 CPUtime=2.95
/proc/5704/task/5707/stat : 5707 (MiraXTv3_dyn) R 5702 5704 5632 0 -1 4194368 3860 0 0 0 292 3 0 0 23 0 3 0 347760552 41345024 8252 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526291 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.06
Current children cumulated vsize (KiB) 40376

[startup+6.30111 s]
/proc/loadavg: 1.85 1.98 1.99 3/80 5707
/proc/meminfo: memFree=1507384/2055920 swapFree=4145896/4192956
[pid=5704] ppid=5702 vsize=55640 CPUtime=12.43
/proc/5704/stat : 5704 (MiraXTv3_dyn) S 5702 5704 5632 0 -1 4194304 12336 0 0 0 1233 10 0 0 18 0 3 0 347760540 56975360 12166 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/5704/statm: 13910 12166 218 20 0 13268 0
[pid=5704/tid=5706] ppid=5702 vsize=55640 CPUtime=6.17
/proc/5704/task/5706/stat : 5706 (MiraXTv3_dyn) R 5702 5704 5632 0 -1 4194368 5607 0 0 0 613 4 0 0 25 0 3 0 347760552 56975360 12166 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526291 0 0 4096 0 0 0 0 -1 1 0 0
[pid=5704/tid=5707] ppid=5702 vsize=55640 CPUtime=6.14
/proc/5704/task/5707/stat : 5707 (MiraXTv3_dyn) R 5702 5704 5632 0 -1 4194368 5872 0 0 0 609 5 0 0 18 0 3 0 347760552 56975360 12166 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134517965 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.43
Current children cumulated vsize (KiB) 55640

[startup+12.7017 s]
/proc/loadavg: 1.87 1.98 1.99 3/80 5707
/proc/meminfo: memFree=1458168/2055920 swapFree=4145896/4192956
[pid=5704] ppid=5702 vsize=101492 CPUtime=25.21
/proc/5704/stat : 5704 (MiraXTv3_dyn) S 5702 5704 5632 0 -1 4194304 23945 0 0 0 2501 20 0 0 18 0 3 0 347760540 103927808 23609 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/5704/statm: 25373 23611 218 20 0 24731 0
[pid=5704/tid=5706] ppid=5702 vsize=101492 CPUtime=12.57
/proc/5704/task/5706/stat : 5706 (MiraXTv3_dyn) R 5702 5704 5632 0 -1 4194368 11382 0 0 0 1249 8 0 0 18 0 3 0 347760552 103927808 23611 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134518228 0 0 4096 0 0 0 0 -1 1 0 0
[pid=5704/tid=5707] ppid=5702 vsize=101492 CPUtime=12.51
/proc/5704/task/5707/stat : 5707 (MiraXTv3_dyn) R 5702 5704 5632 0 -1 4194368 11708 0 0 0 1240 11 0 0 20 0 3 0 347760552 103927808 23611 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526388 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.21
Current children cumulated vsize (KiB) 101492

[startup+25.5029 s]
/proc/loadavg: 1.89 1.98 1.99 3/80 5707
/proc/meminfo: memFree=1448312/2055920 swapFree=4145896/4192956
[pid=5704] ppid=5702 vsize=106168 CPUtime=50.73
/proc/5704/stat : 5704 (MiraXTv3_dyn) S 5702 5704 5632 0 -1 4194304 25582 0 0 0 5050 23 0 0 18 0 3 0 347760540 108716032 24924 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/5704/statm: 26542 24924 218 20 0 25900 0
[pid=5704/tid=5706] ppid=5702 vsize=106168 CPUtime=25.36
/proc/5704/task/5706/stat : 5706 (MiraXTv3_dyn) R 5702 5704 5632 0 -1 4194368 12241 0 0 0 2526 10 0 0 25 0 3 0 347760552 108716032 24924 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=5704/tid=5707] ppid=5702 vsize=106168 CPUtime=25.24
/proc/5704/task/5707/stat : 5707 (MiraXTv3_dyn) R 5702 5704 5632 0 -1 4194368 12484 0 0 0 2512 12 0 0 25 0 3 0 347760552 108716032 24924 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526477 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.73
Current children cumulated vsize (KiB) 106168

[startup+51.1024 s]
/proc/loadavg: 1.93 1.98 1.99 4/80 5707
/proc/meminfo: memFree=1412280/2055920 swapFree=4145896/4192956
[pid=5704] ppid=5702 vsize=141840 CPUtime=101.77
/proc/5704/stat : 5704 (MiraXTv3_dyn) S 5702 5704 5632 0 -1 4194304 35382 0 0 0 10145 32 0 0 18 0 3 0 347760540 145244160 33910 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/5704/statm: 35460 33910 218 20 0 34818 0
[pid=5704/tid=5706] ppid=5702 vsize=141840 CPUtime=50.93
/proc/5704/task/5706/stat : 5706 (MiraXTv3_dyn) R 5702 5704 5632 0 -1 4194368 16892 0 0 0 5080 13 0 0 25 0 3 0 347760552 145244160 33910 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
[pid=5704/tid=5707] ppid=5702 vsize=141840 CPUtime=50.72
/proc/5704/task/5707/stat : 5707 (MiraXTv3_dyn) R 5702 5704 5632 0 -1 4194368 17633 0 0 0 5054 18 0 0 25 0 3 0 347760552 145244160 33910 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.77
Current children cumulated vsize (KiB) 141840

[startup+102.306 s]
/proc/loadavg: 1.97 1.98 1.99 3/80 5707
/proc/meminfo: memFree=1405560/2055920 swapFree=4145896/4192956
[pid=5704] ppid=5702 vsize=148680 CPUtime=203.9
/proc/5704/stat : 5704 (MiraXTv3_dyn) S 5702 5704 5632 0 -1 4194304 38303 0 0 0 20354 36 0 0 18 0 3 0 347760540 152248320 35581 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/5704/statm: 37170 35581 218 20 0 36528 0
[pid=5704/tid=5706] ppid=5702 vsize=148680 CPUtime=102.1
/proc/5704/task/5706/stat : 5706 (MiraXTv3_dyn) R 5702 5704 5632 0 -1 4194368 17914 0 0 0 10195 15 0 0 25 0 3 0 347760552 152248320 35581 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526335 0 0 4096 0 0 0 0 -1 1 0 0
[pid=5704/tid=5707] ppid=5702 vsize=148680 CPUtime=101.68
/proc/5704/task/5707/stat : 5707 (MiraXTv3_dyn) R 5702 5704 5632 0 -1 4194368 19532 0 0 0 10148 20 0 0 25 0 3 0 347760552 152248320 35581 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134565749 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 203.9
Current children cumulated vsize (KiB) 148680

[startup+162.303 s]
/proc/loadavg: 1.99 1.98 1.99 3/80 5707
/proc/meminfo: memFree=1404792/2055920 swapFree=4145896/4192956
[pid=5704] ppid=5702 vsize=148812 CPUtime=323.53
/proc/5704/stat : 5704 (MiraXTv3_dyn) S 5702 5704 5632 0 -1 4194304 39898 0 0 0 32315 38 0 0 18 0 3 0 347760540 152383488 35770 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/5704/statm: 37203 35770 218 20 0 36561 0
[pid=5704/tid=5706] ppid=5702 vsize=148812 CPUtime=162.01
/proc/5704/task/5706/stat : 5706 (MiraXTv3_dyn) R 5702 5704 5632 0 -1 4194368 18727 0 0 0 16185 16 0 0 25 0 3 0 347760552 152383488 35770 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=5704/tid=5707] ppid=5702 vsize=148812 CPUtime=161.4
/proc/5704/task/5707/stat : 5707 (MiraXTv3_dyn) R 5702 5704 5632 0 -1 4194368 20314 0 0 0 16119 21 0 0 25 0 3 0 347760552 152383488 35770 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 323.53
Current children cumulated vsize (KiB) 148812

[startup+222.303 s]
/proc/loadavg: 1.99 1.98 1.99 3/80 5707
/proc/meminfo: memFree=1388216/2055920 swapFree=4145896/4192956
[pid=5704] ppid=5702 vsize=165336 CPUtime=443.16
/proc/5704/stat : 5704 (MiraXTv3_dyn) S 5702 5704 5632 0 -1 4194304 45387 0 0 0 44272 44 0 0 18 0 3 0 347760540 169304064 39919 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/5704/statm: 41334 39919 218 20 0 40692 0
[pid=5704/tid=5706] ppid=5702 vsize=165336 CPUtime=221.96
/proc/5704/task/5706/stat : 5706 (MiraXTv3_dyn) R 5702 5704 5632 0 -1 4194368 22162 0 0 0 22176 20 0 0 25 0 3 0 347760552 169304064 39919 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134565424 0 0 4096 0 0 0 0 -1 1 0 0
[pid=5704/tid=5707] ppid=5702 vsize=165336 CPUtime=221.08
/proc/5704/task/5707/stat : 5707 (MiraXTv3_dyn) R 5702 5704 5632 0 -1 4194368 22368 0 0 0 22085 23 0 0 25 0 3 0 347760552 169304064 39919 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526477 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 443.16
Current children cumulated vsize (KiB) 165336

[startup+282.302 s]
/proc/loadavg: 1.99 1.98 1.99 3/80 5707
/proc/meminfo: memFree=1385592/2055920 swapFree=4145896/4192956
[pid=5704] ppid=5702 vsize=168132 CPUtime=562.85
/proc/5704/stat : 5704 (MiraXTv3_dyn) S 5702 5704 5632 0 -1 4194304 47377 0 0 0 56240 45 0 0 18 0 3 0 347760540 172167168 40590 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/5704/statm: 42033 40590 218 20 0 41391 0
[pid=5704/tid=5706] ppid=5702 vsize=168132 CPUtime=281.92
/proc/5704/task/5706/stat : 5706 (MiraXTv3_dyn) R 5702 5704 5632 0 -1 4194368 23541 0 0 0 28171 21 0 0 25 0 3 0 347760552 172167168 40590 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
[pid=5704/tid=5707] ppid=5702 vsize=168132 CPUtime=280.8
/proc/5704/task/5707/stat : 5707 (MiraXTv3_dyn) R 5702 5704 5632 0 -1 4194368 22979 0 0 0 28057 23 0 0 25 0 3 0 347760552 172167168 40590 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 562.85
Current children cumulated vsize (KiB) 168132

[startup+342.303 s]
/proc/loadavg: 1.99 1.98 1.99 3/80 5707
/proc/meminfo: memFree=1380984/2055920 swapFree=4145896/4192956
[pid=5704] ppid=5702 vsize=172696 CPUtime=682.54
/proc/5704/stat : 5704 (MiraXTv3_dyn) S 5702 5704 5632 0 -1 4194304 49559 0 0 0 68206 48 0 0 18 0 3 0 347760540 176840704 41751 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/5704/statm: 43174 41751 218 20 0 42532 0
[pid=5704/tid=5706] ppid=5702 vsize=172696 CPUtime=341.88
/proc/5704/task/5706/stat : 5706 (MiraXTv3_dyn) R 5702 5704 5632 0 -1 4194368 24130 0 0 0 34167 21 0 0 25 0 3 0 347760552 176840704 41751 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
[pid=5704/tid=5707] ppid=5702 vsize=172696 CPUtime=340.53
/proc/5704/task/5707/stat : 5707 (MiraXTv3_dyn) R 5702 5704 5632 0 -1 4194368 24572 0 0 0 34028 25 0 0 25 0 3 0 347760552 176840704 41751 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 682.54
Current children cumulated vsize (KiB) 172696

[startup+402.303 s]

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

/proc/5704/task/5706/stat : 5706 (MiraXTv3_dyn) R 5702 5704 5632 0 -1 4194368 40767 0 0 0 184027 45 0 0 25 0 3 0 347760552 244461568 58263 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
[pid=5704/tid=5707] ppid=5702 vsize=238732 CPUtime=1833.44
/proc/5704/task/5707/stat : 5707 (MiraXTv3_dyn) R 5702 5704 5632 0 -1 4194368 36093 0 0 0 183285 59 0 0 25 0 3 0 347760552 244461568 58263 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526493 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3674.29
Current children cumulated vsize (KiB) 238732

[startup+1902.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/80 5907
/proc/meminfo: memFree=1312376/2055920 swapFree=4145896/4192956
[pid=5704] ppid=5702 vsize=240844 CPUtime=3793.97
/proc/5704/stat : 5704 (MiraXTv3_dyn) S 5702 5704 5632 0 -1 4194304 78763 0 0 0 379291 106 0 0 18 0 3 0 347760540 246624256 58806 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/5704/statm: 60211 58806 218 20 0 59569 0
[pid=5704/tid=5706] ppid=5702 vsize=240844 CPUtime=1900.66
/proc/5704/task/5706/stat : 5706 (MiraXTv3_dyn) R 5702 5704 5632 0 -1 4194368 41813 0 0 0 190020 46 0 0 25 0 3 0 347760552 246624256 58806 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=5704/tid=5707] ppid=5702 vsize=240844 CPUtime=1893.18
/proc/5704/task/5707/stat : 5707 (MiraXTv3_dyn) R 5702 5704 5632 0 -1 4194368 36093 0 0 0 189259 59 0 0 25 0 3 0 347760552 246624256 58806 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3793.97
Current children cumulated vsize (KiB) 240844

[startup+1962.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/80 5907
/proc/meminfo: memFree=1312504/2055920 swapFree=4145896/4192956
[pid=5704] ppid=5702 vsize=240844 CPUtime=3913.67
/proc/5704/stat : 5704 (MiraXTv3_dyn) S 5702 5704 5632 0 -1 4194304 79337 0 0 0 391260 107 0 0 18 0 3 0 347760540 246624256 58806 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/5704/statm: 60211 58806 218 20 0 59569 0
[pid=5704/tid=5706] ppid=5702 vsize=240844 CPUtime=1960.39
/proc/5704/task/5706/stat : 5706 (MiraXTv3_dyn) R 5702 5704 5632 0 -1 4194368 42387 0 0 0 195993 46 0 0 25 0 3 0 347760552 246624256 58806 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=5704/tid=5707] ppid=5702 vsize=240844 CPUtime=1953.16
/proc/5704/task/5707/stat : 5707 (MiraXTv3_dyn) R 5702 5704 5632 0 -1 4194368 36093 0 0 0 195256 60 0 0 25 0 3 0 347760552 246624256 58806 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526322 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3913.67
Current children cumulated vsize (KiB) 240844

[startup+2022.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/80 5907
/proc/meminfo: memFree=1312632/2055920 swapFree=4145896/4192956
[pid=5704] ppid=5702 vsize=240672 CPUtime=4033.3
/proc/5704/stat : 5704 (MiraXTv3_dyn) S 5702 5704 5632 0 -1 4194304 79842 0 0 0 403222 108 0 0 18 0 3 0 347760540 246448128 58782 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/5704/statm: 60168 58782 218 20 0 59526 0
[pid=5704/tid=5706] ppid=5702 vsize=240672 CPUtime=2020.07
/proc/5704/task/5706/stat : 5706 (MiraXTv3_dyn) R 5702 5704 5632 0 -1 4194368 42891 0 0 0 201960 47 0 0 25 0 3 0 347760552 246448128 58782 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
[pid=5704/tid=5707] ppid=5702 vsize=240672 CPUtime=2013.11
/proc/5704/task/5707/stat : 5707 (MiraXTv3_dyn) R 5702 5704 5632 0 -1 4194368 36094 0 0 0 201251 60 0 0 25 0 3 0 347760552 246448128 58782 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4033.3
Current children cumulated vsize (KiB) 240672

[startup+2082.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/80 5907
/proc/meminfo: memFree=1312696/2055920 swapFree=4145896/4192956
[pid=5704] ppid=5702 vsize=240636 CPUtime=4153
/proc/5704/stat : 5704 (MiraXTv3_dyn) S 5702 5704 5632 0 -1 4194304 79844 0 0 0 415192 108 0 0 18 0 3 0 347760540 246411264 58775 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/5704/statm: 60159 58775 218 20 0 59517 0
[pid=5704/tid=5706] ppid=5702 vsize=240636 CPUtime=2079.8
/proc/5704/task/5706/stat : 5706 (MiraXTv3_dyn) R 5702 5704 5632 0 -1 4194368 42893 0 0 0 207933 47 0 0 25 0 3 0 347760552 246411264 58775 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526477 0 0 4096 0 0 0 0 -1 0 0 0
[pid=5704/tid=5707] ppid=5702 vsize=240636 CPUtime=2073.08
/proc/5704/task/5707/stat : 5707 (MiraXTv3_dyn) R 5702 5704 5632 0 -1 4194368 36094 0 0 0 207248 60 0 0 25 0 3 0 347760552 246411264 58775 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526477 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4153
Current children cumulated vsize (KiB) 240636

[startup+2142.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/80 5907
/proc/meminfo: memFree=1312696/2055920 swapFree=4145896/4192956
[pid=5704] ppid=5702 vsize=240560 CPUtime=4272.69
/proc/5704/stat : 5704 (MiraXTv3_dyn) S 5702 5704 5632 0 -1 4194304 79844 0 0 0 427160 109 0 0 18 0 3 0 347760540 246333440 58756 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/5704/statm: 60140 58756 218 20 0 59498 0
[pid=5704/tid=5706] ppid=5702 vsize=240560 CPUtime=2139.52
/proc/5704/task/5706/stat : 5706 (MiraXTv3_dyn) R 5702 5704 5632 0 -1 4194368 42893 0 0 0 213905 47 0 0 25 0 3 0 347760552 246333440 58756 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526361 0 0 4096 0 0 0 0 -1 0 0 0
[pid=5704/tid=5707] ppid=5702 vsize=240560 CPUtime=2133.05
/proc/5704/task/5707/stat : 5707 (MiraXTv3_dyn) R 5702 5704 5632 0 -1 4194368 36094 0 0 0 213244 61 0 0 25 0 3 0 347760552 246333440 58756 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4272.69
Current children cumulated vsize (KiB) 240560

[startup+2202.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/80 5907
/proc/meminfo: memFree=1312760/2055920 swapFree=4145896/4192956
[pid=5704] ppid=5702 vsize=240560 CPUtime=4392.37
/proc/5704/stat : 5704 (MiraXTv3_dyn) S 5702 5704 5632 0 -1 4194304 79844 0 0 0 439128 109 0 0 18 0 3 0 347760540 246333440 58756 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/5704/statm: 60140 58756 218 20 0 59498 0
[pid=5704/tid=5706] ppid=5702 vsize=240560 CPUtime=2199.24
/proc/5704/task/5706/stat : 5706 (MiraXTv3_dyn) R 5702 5704 5632 0 -1 4194368 42893 0 0 0 219877 47 0 0 25 0 3 0 347760552 246333440 58756 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526291 0 0 4096 0 0 0 0 -1 0 0 0
[pid=5704/tid=5707] ppid=5702 vsize=240560 CPUtime=2193.01
/proc/5704/task/5707/stat : 5707 (MiraXTv3_dyn) R 5702 5704 5632 0 -1 4194368 36094 0 0 0 219240 61 0 0 21 0 3 0 347760552 246333440 58756 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4392.37
Current children cumulated vsize (KiB) 240560

[startup+2262.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/80 5907
/proc/meminfo: memFree=1312824/2055920 swapFree=4145896/4192956
[pid=5704] ppid=5702 vsize=240560 CPUtime=4512.08
/proc/5704/stat : 5704 (MiraXTv3_dyn) S 5702 5704 5632 0 -1 4194304 79847 0 0 0 451098 110 0 0 18 0 3 0 347760540 246333440 58759 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/5704/statm: 60140 58759 218 20 0 59498 0
[pid=5704/tid=5706] ppid=5702 vsize=240560 CPUtime=2258.97
/proc/5704/task/5706/stat : 5706 (MiraXTv3_dyn) R 5702 5704 5632 0 -1 4194368 42893 0 0 0 225850 47 0 0 25 0 3 0 347760552 246333440 58759 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526702 0 0 4096 0 0 0 0 -1 0 0 0
[pid=5704/tid=5707] ppid=5702 vsize=240560 CPUtime=2252.97
/proc/5704/task/5707/stat : 5707 (MiraXTv3_dyn) R 5702 5704 5632 0 -1 4194368 36097 0 0 0 225236 61 0 0 25 0 3 0 347760552 246333440 58759 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4512.08
Current children cumulated vsize (KiB) 240560

[startup+2322.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/80 5907
/proc/meminfo: memFree=1311608/2055920 swapFree=4145896/4192956
[pid=5704] ppid=5702 vsize=241584 CPUtime=4631.77
/proc/5704/stat : 5704 (MiraXTv3_dyn) S 5702 5704 5632 0 -1 4194304 80147 0 0 0 463066 111 0 0 18 0 3 0 347760540 247382016 59059 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/5704/statm: 60396 59059 218 20 0 59754 0
[pid=5704/tid=5706] ppid=5702 vsize=241584 CPUtime=2318.7
/proc/5704/task/5706/stat : 5706 (MiraXTv3_dyn) R 5702 5704 5632 0 -1 4194368 42895 0 0 0 231823 47 0 0 25 0 3 0 347760552 247382016 59059 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526702 0 0 4096 0 0 0 0 -1 0 0 0
[pid=5704/tid=5707] ppid=5702 vsize=241584 CPUtime=2312.94
/proc/5704/task/5707/stat : 5707 (MiraXTv3_dyn) R 5702 5704 5632 0 -1 4194368 36395 0 0 0 231232 62 0 0 25 0 3 0 347760552 247382016 59059 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4631.77
Current children cumulated vsize (KiB) 241584

[startup+2382.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/80 5907
/proc/meminfo: memFree=1311608/2055920 swapFree=4145896/4192956
[pid=5704] ppid=5702 vsize=241572 CPUtime=4751.43
/proc/5704/stat : 5704 (MiraXTv3_dyn) S 5702 5704 5632 0 -1 4194304 80153 0 0 0 475032 111 0 0 18 0 3 0 347760540 247369728 59062 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/5704/statm: 60393 59062 218 20 0 59751 0
[pid=5704/tid=5706] ppid=5702 vsize=241572 CPUtime=2378.4
/proc/5704/task/5706/stat : 5706 (MiraXTv3_dyn) R 5702 5704 5632 0 -1 4194368 42899 0 0 0 237793 47 0 0 25 0 3 0 347760552 247369728 59062 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
[pid=5704/tid=5707] ppid=5702 vsize=241572 CPUtime=2372.91
/proc/5704/task/5707/stat : 5707 (MiraXTv3_dyn) R 5702 5704 5632 0 -1 4194368 36397 0 0 0 237228 63 0 0 25 0 3 0 347760552 247369728 59062 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134542719 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4751.43
Current children cumulated vsize (KiB) 241572

[startup+2442.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/80 5907
/proc/meminfo: memFree=1311544/2055920 swapFree=4145896/4192956
[pid=5704] ppid=5702 vsize=241572 CPUtime=4871.11
/proc/5704/stat : 5704 (MiraXTv3_dyn) S 5702 5704 5632 0 -1 4194304 80155 0 0 0 486999 112 0 0 18 0 3 0 347760540 247369728 59064 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/5704/statm: 60393 59064 218 20 0 59751 0
[pid=5704/tid=5706] ppid=5702 vsize=241572 CPUtime=2438.11
/proc/5704/task/5706/stat : 5706 (MiraXTv3_dyn) R 5702 5704 5632 0 -1 4194368 42900 0 0 0 243764 47 0 0 19 0 3 0 347760552 247369728 59064 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134565770 0 0 4096 0 0 0 0 -1 0 0 0
[pid=5704/tid=5707] ppid=5702 vsize=241572 CPUtime=2432.86
/proc/5704/task/5707/stat : 5707 (MiraXTv3_dyn) R 5702 5704 5632 0 -1 4194368 36398 0 0 0 243223 63 0 0 19 0 3 0 347760552 247369728 59064 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 7362204 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4871.11
Current children cumulated vsize (KiB) 241572

[startup+2502.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/80 5907
/proc/meminfo: memFree=1311544/2055920 swapFree=4145896/4192956
[pid=5704] ppid=5702 vsize=241572 CPUtime=4990.81
/proc/5704/stat : 5704 (MiraXTv3_dyn) S 5702 5704 5632 0 -1 4194304 80156 0 0 0 498968 113 0 0 18 0 3 0 347760540 247369728 59065 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/5704/statm: 60393 59065 218 20 0 59751 0
[pid=5704/tid=5706] ppid=5702 vsize=241572 CPUtime=2497.85
/proc/5704/task/5706/stat : 5706 (MiraXTv3_dyn) R 5702 5704 5632 0 -1 4194368 42901 0 0 0 249737 48 0 0 25 0 3 0 347760552 247369728 59065 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=5704/tid=5707] ppid=5702 vsize=241572 CPUtime=2492.83
/proc/5704/task/5707/stat : 5707 (MiraXTv3_dyn) R 5702 5704 5632 0 -1 4194368 36398 0 0 0 249220 63 0 0 25 0 3 0 347760552 247369728 59065 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526429 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4990.81
Current children cumulated vsize (KiB) 241572



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2507 s]
/proc/loadavg: 2.00 2.00 2.00 3/80 5907
/proc/meminfo: memFree=1311544/2055920 swapFree=4145896/4192956
[pid=5704] ppid=5702 vsize=241572 CPUtime=5000.19
/proc/5704/stat : 5704 (MiraXTv3_dyn) S 5702 5704 5632 0 -1 4194304 80157 0 0 0 499906 113 0 0 18 0 3 0 347760540 247369728 59066 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/5704/statm: 60393 59066 218 20 0 59751 0
[pid=5704/tid=5706] ppid=5702 vsize=241572 CPUtime=2502.52
/proc/5704/task/5706/stat : 5706 (MiraXTv3_dyn) R 5702 5704 5632 0 -1 4194368 42902 0 0 0 250204 48 0 0 25 0 3 0 347760552 247369728 59066 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526705 0 0 4096 0 0 0 0 -1 0 0 0
[pid=5704/tid=5707] ppid=5702 vsize=241572 CPUtime=2497.55
/proc/5704/task/5707/stat : 5707 (MiraXTv3_dyn) R 5702 5704 5632 0 -1 4194368 36398 0 0 0 249691 64 0 0 25 0 3 0 347760552 247369728 59066 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 5000.19
Current children cumulated vsize (KiB) 241572

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.05
CPU time (s): 5000.25
CPU user time (s): 4999.08
CPU system time (s): 1.16882
CPU usage (%): 199.447
Max. virtual memory (cumulated for all children) (KiB): 241584

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

runsolver used 2.52761 second user time and 6.64099 second system time

The end

Launcher Data (download as text)

Begin job on node14 on Sat May 12 19:33:48 UTC 2007

IDJOB= 426207
IDBENCH= 20032
IDSOLVER= 196
FILE ID= node14/426207-1178998428

PBS_JOBID= 5252834

Free space on /tmp= 66544 MiB

SOLVER NAME= MiraXT v3
BENCH NAME= HOME/pub/bench/SAT07/random/LargeSize/5SAT/v800/unif-k5-r20-v800-c16000-S409844453-15.cnf
COMMAND LINE= /tmp/evaluation/426207-1178998428/MiraXTv3_dyn /tmp/evaluation/426207-1178998428/instance-426207-1178998428.cnf
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node14/watcher-426207-1178998428 -o ROOT/results/node14/solver-426207-1178998428 -C 5000 -W 7500 -M 1800 --output-limit 1,15  /tmp/evaluation/426207-1178998428/MiraXTv3_dyn /tmp/evaluation/426207-1178998428/instance-426207-1178998428.cnf

META MD5SUM SOLVER= 2ad149617ed8d249d89b067eb44c33da
MD5SUM BENCH=  58c189a77b8c83423395850401eab73e

RANDOM SEED= 744138760

TIME LIMIT= 5000 seconds
MEMORY LIMIT= 1800 MiB

Linux node14.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.227
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.227
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:       1548264 kB
Buffers:         45736 kB
Cached:         392664 kB
SwapCached:      15092 kB
Active:         147564 kB
Inactive:       314632 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1548264 kB
SwapTotal:     4192956 kB
SwapFree:      4145896 kB
Dirty:            4416 kB
Writeback:           0 kB
Mapped:          29804 kB
Slab:            31020 kB
Committed_AS:  9606244 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= 66544 MiB

End job on node14 on Sat May 12 20:15:37 UTC 2007