Trace number 426272

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.2 2507.54

General information on the benchmark

Namerandom/LargeSize/7SAT/v180/
unif-k7-r85-v180-c15300-S1446471927-04.cnf
MD5SUM328eff5f4a59e23832259fb06180efee
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark2200.94
Satisfiable
(Un)Satisfiability was proved
Number of variables180
Number of clauses15300
Sum of the clauses size107100
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 515300

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/node75/watcher-426272-1179048324 -o ROOT/results/node75/solver-426272-1179048324 -C 5000 -W 7500 -M 1800 --output-limit 1,15 /tmp/evaluation/426272-1179048324/MiraXTv3_dyn /tmp/evaluation/426272-1179048324/instance-426272-1179048324.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: 0.00 0.00 0.00 3/64 10915
/proc/meminfo: memFree=1488208/2055920 swapFree=4184028/4192956
[pid=10915] ppid=10913 vsize=3788 CPUtime=0
/proc/10915/stat : 10915 (MiraXTv3_dyn) R 10913 10915 10843 0 -1 4194304 327 0 0 0 0 0 0 0 18 0 1 0 352746263 3878912 302 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/10915/statm: 947 309 202 20 0 305 0

[startup+0.044144 s]
/proc/loadavg: 0.00 0.00 0.00 3/64 10915
/proc/meminfo: memFree=1488208/2055920 swapFree=4184028/4192956
[pid=10915] ppid=10913 vsize=5164 CPUtime=0.03
/proc/10915/stat : 10915 (MiraXTv3_dyn) R 10913 10915 10843 0 -1 4194304 730 0 0 0 3 0 0 0 18 0 1 0 352746263 5287936 705 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134583910 0 0 4096 0 0 0 0 17 1 0 0
/proc/10915/statm: 1291 705 207 20 0 649 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5164

[startup+0.101155 s]
/proc/loadavg: 0.00 0.00 0.00 3/64 10915
/proc/meminfo: memFree=1488208/2055920 swapFree=4184028/4192956
[pid=10915] ppid=10913 vsize=5164 CPUtime=0.09
/proc/10915/stat : 10915 (MiraXTv3_dyn) R 10913 10915 10843 0 -1 4194304 730 0 0 0 9 0 0 0 18 0 1 0 352746263 5287936 705 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134583910 0 0 4096 0 0 0 0 17 1 0 0
/proc/10915/statm: 1291 705 207 20 0 649 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5164

[startup+0.301195 s]
/proc/loadavg: 0.00 0.00 0.00 3/64 10915
/proc/meminfo: memFree=1488208/2055920 swapFree=4184028/4192956
[pid=10915] ppid=10913 vsize=5344 CPUtime=0.29
/proc/10915/stat : 10915 (MiraXTv3_dyn) R 10913 10915 10843 0 -1 4194304 763 0 0 0 29 0 0 0 19 0 1 0 352746263 5472256 738 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134583875 0 0 4096 0 0 0 0 17 1 0 0
/proc/10915/statm: 1336 738 207 20 0 694 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5344

[startup+0.701281 s]
/proc/loadavg: 0.00 0.00 0.00 3/64 10915
/proc/meminfo: memFree=1488208/2055920 swapFree=4184028/4192956
[pid=10915] ppid=10913 vsize=13396 CPUtime=1.01
/proc/10915/stat : 10915 (MiraXTv3_dyn) S 10913 10915 10843 0 -1 4194304 1975 0 0 0 100 1 0 0 20 0 3 0 352746263 13717504 1949 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/10915/statm: 3349 1949 218 20 0 2707 0
Current children cumulated CPU time (s) 1.01
Current children cumulated vsize (KiB) 13396

[startup+1.50144 s]
/proc/loadavg: 0.00 0.00 0.00 3/67 10918
/proc/meminfo: memFree=1478328/2055920 swapFree=4184028/4192956
[pid=10915] ppid=10913 vsize=20736 CPUtime=2.6
/proc/10915/stat : 10915 (MiraXTv3_dyn) S 10913 10915 10843 0 -1 4194304 3737 0 0 0 259 1 0 0 20 0 3 0 352746263 21233664 3711 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/10915/statm: 5184 3711 218 20 0 4542 0
[pid=10915/tid=10917] ppid=10913 vsize=20736 CPUtime=1.12
/proc/10915/task/10917/stat : 10917 (MiraXTv3_dyn) R 10913 10915 10843 0 -1 4194368 1457 0 0 0 112 0 0 0 19 0 3 0 352746300 21233664 3711 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=10915/tid=10918] ppid=10913 vsize=20736 CPUtime=1.1
/proc/10915/task/10918/stat : 10918 (MiraXTv3_dyn) R 10913 10915 10843 0 -1 4194368 1459 0 0 0 110 0 0 0 22 0 3 0 352746300 21233664 3711 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526294 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.6
Current children cumulated vsize (KiB) 20736

[startup+3.10176 s]
/proc/loadavg: 0.00 0.00 0.00 2/67 10918
/proc/meminfo: memFree=1469432/2055920 swapFree=4184028/4192956
[pid=10915] ppid=10913 vsize=24928 CPUtime=5.79
/proc/10915/stat : 10915 (MiraXTv3_dyn) S 10913 10915 10843 0 -1 4194304 4892 0 0 0 577 2 0 0 20 0 3 0 352746263 25526272 4865 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/10915/statm: 6232 4865 218 20 0 5590 0
[pid=10915/tid=10917] ppid=10913 vsize=24928 CPUtime=2.71
/proc/10915/task/10917/stat : 10917 (MiraXTv3_dyn) R 10913 10915 10843 0 -1 4194368 2008 0 0 0 271 0 0 0 22 0 3 0 352746300 25526272 4865 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=10915/tid=10918] ppid=10913 vsize=24928 CPUtime=2.71
/proc/10915/task/10918/stat : 10918 (MiraXTv3_dyn) R 10913 10915 10843 0 -1 4194368 2063 0 0 0 270 1 0 0 25 0 3 0 352746300 25526272 4865 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526347 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 5.79
Current children cumulated vsize (KiB) 24928

[startup+6.30139 s]
/proc/loadavg: 0.16 0.03 0.01 3/67 10918
/proc/meminfo: memFree=1458304/2055920 swapFree=4184028/4192956
[pid=10915] ppid=10913 vsize=39976 CPUtime=12.18
/proc/10915/stat : 10915 (MiraXTv3_dyn) S 10913 10915 10843 0 -1 4194304 8766 0 0 0 1213 5 0 0 20 0 3 0 352746263 40935424 8629 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/10915/statm: 9994 8629 218 20 0 9352 0
[pid=10915/tid=10917] ppid=10913 vsize=39976 CPUtime=5.9
/proc/10915/task/10917/stat : 10917 (MiraXTv3_dyn) R 10913 10915 10843 0 -1 4194368 3843 0 0 0 588 2 0 0 25 0 3 0 352746300 40935424 8629 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=10915/tid=10918] ppid=10913 vsize=39976 CPUtime=5.9
/proc/10915/task/10918/stat : 10918 (MiraXTv3_dyn) R 10913 10915 10843 0 -1 4194368 4102 0 0 0 588 2 0 0 25 0 3 0 352746300 40935424 8629 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526291 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.18
Current children cumulated vsize (KiB) 39976

[startup+12.7017 s]
/proc/loadavg: 0.31 0.07 0.02 3/67 10918
/proc/meminfo: memFree=1433536/2055920 swapFree=4184028/4192956
[pid=10915] ppid=10913 vsize=61124 CPUtime=24.94
/proc/10915/stat : 10915 (MiraXTv3_dyn) S 10913 10915 10843 0 -1 4194304 14081 0 0 0 2483 11 0 0 20 0 3 0 352746263 62590976 13716 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/10915/statm: 15281 13716 218 20 0 14639 0
[pid=10915/tid=10917] ppid=10913 vsize=61124 CPUtime=12.26
/proc/10915/task/10917/stat : 10917 (MiraXTv3_dyn) R 10913 10915 10843 0 -1 4194368 6547 0 0 0 1222 4 0 0 25 0 3 0 352746300 62590976 13716 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526335 0 0 4096 0 0 0 0 -1 0 0 0
[pid=10915/tid=10918] ppid=10913 vsize=61124 CPUtime=12.29
/proc/10915/task/10918/stat : 10918 (MiraXTv3_dyn) R 10913 10915 10843 0 -1 4194368 6713 0 0 0 1224 5 0 0 25 0 3 0 352746300 62590976 13716 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 24.94
Current children cumulated vsize (KiB) 61124

[startup+25.5012 s]
/proc/loadavg: 0.68 0.16 0.05 3/67 10918
/proc/meminfo: memFree=1419200/2055920 swapFree=4184028/4192956
[pid=10915] ppid=10913 vsize=76516 CPUtime=50.46
/proc/10915/stat : 10915 (MiraXTv3_dyn) S 10913 10915 10843 0 -1 4194304 18408 0 0 0 5030 16 0 0 20 0 3 0 352746263 78352384 17581 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/10915/statm: 19129 17581 218 20 0 18487 0
[pid=10915/tid=10917] ppid=10913 vsize=76516 CPUtime=24.99
/proc/10915/task/10917/stat : 10917 (MiraXTv3_dyn) R 10913 10915 10843 0 -1 4194368 8577 0 0 0 2493 6 0 0 17 0 3 0 352746300 78352384 17581 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=10915/tid=10918] ppid=10913 vsize=76516 CPUtime=25.09
/proc/10915/task/10918/stat : 10918 (MiraXTv3_dyn) R 10913 10915 10843 0 -1 4194368 9010 0 0 0 2500 9 0 0 25 0 3 0 352746300 78352384 17581 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.46
Current children cumulated vsize (KiB) 76516

[startup+51.1013 s]
/proc/loadavg: 1.13 0.31 0.10 3/67 10918
/proc/meminfo: memFree=1408256/2055920 swapFree=4184028/4192956
[pid=10915] ppid=10913 vsize=85164 CPUtime=101.53
/proc/10915/stat : 10915 (MiraXTv3_dyn) S 10913 10915 10843 0 -1 4194304 21743 0 0 0 10133 20 0 0 20 0 3 0 352746263 87207936 20026 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/10915/statm: 21291 20026 218 20 0 20649 0
[pid=10915/tid=10917] ppid=10913 vsize=85164 CPUtime=50.46
/proc/10915/task/10917/stat : 10917 (MiraXTv3_dyn) R 10913 10915 10843 0 -1 4194368 10201 0 0 0 5039 7 0 0 25 0 3 0 352746300 87207936 20026 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=10915/tid=10918] ppid=10913 vsize=85164 CPUtime=50.68
/proc/10915/task/10918/stat : 10918 (MiraXTv3_dyn) R 10913 10915 10843 0 -1 4194368 10721 0 0 0 5056 12 0 0 25 0 3 0 352746300 87207936 20026 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526322 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.53
Current children cumulated vsize (KiB) 85164

[startup+102.305 s]
/proc/loadavg: 1.62 0.56 0.20 3/67 10918
/proc/meminfo: memFree=1401152/2055920 swapFree=4184028/4192956
[pid=10915] ppid=10913 vsize=93656 CPUtime=203.65
/proc/10915/stat : 10915 (MiraXTv3_dyn) S 10913 10915 10843 0 -1 4194304 25208 0 0 0 20342 23 0 0 20 0 3 0 352746263 95903744 21801 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/10915/statm: 23414 21801 218 20 0 22772 0
[pid=10915/tid=10917] ppid=10913 vsize=93656 CPUtime=101.43
/proc/10915/task/10917/stat : 10917 (MiraXTv3_dyn) R 10913 10915 10843 0 -1 4194368 12213 0 0 0 10134 9 0 0 25 0 3 0 352746300 95903744 21801 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
[pid=10915/tid=10918] ppid=10913 vsize=93656 CPUtime=101.83
/proc/10915/task/10918/stat : 10918 (MiraXTv3_dyn) R 10913 10915 10843 0 -1 4194368 12174 0 0 0 10170 13 0 0 25 0 3 0 352746300 95903744 21801 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 203.65
Current children cumulated vsize (KiB) 93656

[startup+162.301 s]
/proc/loadavg: 1.86 0.82 0.31 3/67 10918
/proc/meminfo: memFree=1395520/2055920 swapFree=4184028/4192956
[pid=10915] ppid=10913 vsize=98728 CPUtime=323.28
/proc/10915/stat : 10915 (MiraXTv3_dyn) S 10913 10915 10843 0 -1 4194304 28404 0 0 0 32302 26 0 0 20 0 3 0 352746263 101097472 23177 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/10915/statm: 24682 23177 218 20 0 24040 0
[pid=10915/tid=10917] ppid=10913 vsize=98728 CPUtime=161.12
/proc/10915/task/10917/stat : 10917 (MiraXTv3_dyn) R 10913 10915 10843 0 -1 4194368 13714 0 0 0 16102 10 0 0 25 0 3 0 352746300 101097472 23177 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526324 0 0 4096 0 0 0 0 -1 0 0 0
[pid=10915/tid=10918] ppid=10913 vsize=98728 CPUtime=161.78
/proc/10915/task/10918/stat : 10918 (MiraXTv3_dyn) R 10913 10915 10843 0 -1 4194368 13869 0 0 0 16163 15 0 0 25 0 3 0 352746300 101097472 23177 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526429 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 323.28
Current children cumulated vsize (KiB) 98728

[startup+222.302 s]
/proc/loadavg: 1.95 1.04 0.41 3/67 10918
/proc/meminfo: memFree=1393408/2055920 swapFree=4184028/4192956
[pid=10915] ppid=10913 vsize=100464 CPUtime=442.93
/proc/10915/stat : 10915 (MiraXTv3_dyn) S 10913 10915 10843 0 -1 4194304 30704 0 0 0 44265 28 0 0 20 0 3 0 352746263 102875136 23722 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/10915/statm: 25116 23722 218 20 0 24474 0
[pid=10915/tid=10917] ppid=10913 vsize=100464 CPUtime=220.87
/proc/10915/task/10917/stat : 10917 (MiraXTv3_dyn) R 10913 10915 10843 0 -1 4194368 14951 0 0 0 22076 11 0 0 25 0 3 0 352746300 102875136 23722 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526373 0 0 4096 0 0 0 0 -1 1 0 0
[pid=10915/tid=10918] ppid=10913 vsize=100464 CPUtime=221.68
/proc/10915/task/10918/stat : 10918 (MiraXTv3_dyn) R 10913 10915 10843 0 -1 4194368 14932 0 0 0 22152 16 0 0 25 0 3 0 352746300 102875136 23722 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 442.93
Current children cumulated vsize (KiB) 100464

[startup+282.301 s]
/proc/loadavg: 1.98 1.21 0.51 3/67 10918
/proc/meminfo: memFree=1390528/2055920 swapFree=4184028/4192956
[pid=10915] ppid=10913 vsize=103680 CPUtime=562.61
/proc/10915/stat : 10915 (MiraXTv3_dyn) S 10913 10915 10843 0 -1 4194304 33023 0 0 0 56232 29 0 0 20 0 3 0 352746263 106168320 24481 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/10915/statm: 25920 24481 218 20 0 25278 0
[pid=10915/tid=10917] ppid=10913 vsize=103680 CPUtime=280.83
/proc/10915/task/10917/stat : 10917 (MiraXTv3_dyn) R 10913 10915 10843 0 -1 4194368 16034 0 0 0 28071 12 0 0 25 0 3 0 352746300 106168320 24481 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=10915/tid=10918] ppid=10913 vsize=103680 CPUtime=281.4
/proc/10915/task/10918/stat : 10918 (MiraXTv3_dyn) R 10913 10915 10843 0 -1 4194368 16168 0 0 0 28124 16 0 0 25 0 3 0 352746300 106168320 24481 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526489 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 562.61
Current children cumulated vsize (KiB) 103680

[startup+342.302 s]
/proc/loadavg: 1.99 1.35 0.60 3/67 10918
/proc/meminfo: memFree=1386560/2055920 swapFree=4184028/4192956
[pid=10915] ppid=10913 vsize=108060 CPUtime=682.26
/proc/10915/stat : 10915 (MiraXTv3_dyn) S 10913 10915 10843 0 -1 4194304 35661 0 0 0 68193 33 0 0 20 0 3 0 352746263 110653440 25428 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/10915/statm: 27015 25428 218 20 0 26373 0
[pid=10915/tid=10917] ppid=10913 vsize=108060 CPUtime=340.78
/proc/10915/task/10917/stat : 10917 (MiraXTv3_dyn) R 10913 10915 10843 0 -1 4194368 17274 0 0 0 34065 13 0 0 25 0 3 0 352746300 110653440 25428 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526714 0 0 4096 0 0 0 0 -1 1 0 0
[pid=10915/tid=10918] ppid=10913 vsize=108060 CPUtime=341.1
/proc/10915/task/10918/stat : 10918 (MiraXTv3_dyn) R 10913 10915 10843 0 -1 4194368 17566 0 0 0 34092 18 0 0 25 0 3 0 352746300 110653440 25428 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526397 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 682.26
Current children cumulated vsize (KiB) 108060

[startup+402.302 s]

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

/proc/10915/task/10917/stat : 10917 (MiraXTv3_dyn) R 10913 10915 10843 0 -1 4194368 37966 0 0 0 189324 32 0 0 25 0 3 0 352746300 136486912 31588 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526705 0 0 4096 0 0 0 0 -1 0 0 0
[pid=10915/tid=10918] ppid=10913 vsize=133288 CPUtime=1899.46
/proc/10915/task/10918/stat : 10918 (MiraXTv3_dyn) R 10913 10915 10843 0 -1 4194368 41605 0 0 0 189909 37 0 0 25 0 3 0 352746300 136486912 31588 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3793.4
Current children cumulated vsize (KiB) 133288

[startup+1962.3 s]
/proc/loadavg: 1.99 1.97 1.72 3/67 10920
/proc/meminfo: memFree=1357248/2055920 swapFree=4184028/4192956
[pid=10915] ppid=10913 vsize=137852 CPUtime=3913.07
/proc/10915/stat : 10915 (MiraXTv3_dyn) S 10913 10915 10843 0 -1 4194304 82857 0 0 0 391236 71 0 0 20 0 3 0 352746263 141160448 32727 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/10915/statm: 34463 32727 218 20 0 33821 0
[pid=10915/tid=10917] ppid=10913 vsize=137852 CPUtime=1953.26
/proc/10915/task/10917/stat : 10917 (MiraXTv3_dyn) R 10913 10915 10843 0 -1 4194368 39752 0 0 0 195294 32 0 0 25 0 3 0 352746300 141160448 32727 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=10915/tid=10918] ppid=10913 vsize=137852 CPUtime=1959.42
/proc/10915/task/10918/stat : 10918 (MiraXTv3_dyn) R 10913 10915 10843 0 -1 4194368 42284 0 0 0 195904 38 0 0 25 0 3 0 352746300 141160448 32727 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3913.07
Current children cumulated vsize (KiB) 137852

[startup+2022.3 s]
/proc/loadavg: 1.99 1.97 1.73 3/67 10920
/proc/meminfo: memFree=1355904/2055920 swapFree=4184028/4192956
[pid=10915] ppid=10913 vsize=139192 CPUtime=4032.72
/proc/10915/stat : 10915 (MiraXTv3_dyn) S 10913 10915 10843 0 -1 4194304 84642 0 0 0 403200 72 0 0 20 0 3 0 352746263 142532608 33109 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/10915/statm: 34798 33109 218 20 0 34156 0
[pid=10915/tid=10917] ppid=10913 vsize=139192 CPUtime=2012.98
/proc/10915/task/10917/stat : 10917 (MiraXTv3_dyn) R 10913 10915 10843 0 -1 4194368 40872 0 0 0 201265 33 0 0 25 0 3 0 352746300 142532608 33109 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
[pid=10915/tid=10918] ppid=10913 vsize=139192 CPUtime=2019.36
/proc/10915/task/10918/stat : 10918 (MiraXTv3_dyn) R 10913 10915 10843 0 -1 4194368 42949 0 0 0 201898 38 0 0 25 0 3 0 352746300 142532608 33109 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4032.72
Current children cumulated vsize (KiB) 139192

[startup+2082.31 s]
/proc/loadavg: 1.99 1.97 1.75 3/67 10920
/proc/meminfo: memFree=1355584/2055920 swapFree=4184028/4192956
[pid=10915] ppid=10913 vsize=139192 CPUtime=4152.4
/proc/10915/stat : 10915 (MiraXTv3_dyn) S 10913 10915 10843 0 -1 4194304 85811 0 0 0 415167 73 0 0 20 0 3 0 352746263 142532608 33157 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/10915/statm: 34798 33157 218 20 0 34156 0
[pid=10915/tid=10917] ppid=10913 vsize=139192 CPUtime=2072.7
/proc/10915/task/10917/stat : 10917 (MiraXTv3_dyn) R 10913 10915 10843 0 -1 4194368 41616 0 0 0 207236 34 0 0 25 0 3 0 352746300 142532608 33157 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
[pid=10915/tid=10918] ppid=10913 vsize=139192 CPUtime=2079.32
/proc/10915/task/10918/stat : 10918 (MiraXTv3_dyn) R 10913 10915 10843 0 -1 4194368 43374 0 0 0 207893 39 0 0 25 0 3 0 352746300 142532608 33157 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4152.4
Current children cumulated vsize (KiB) 139192

[startup+2142.3 s]
/proc/loadavg: 1.99 1.97 1.76 3/73 10986
/proc/meminfo: memFree=1342616/2055920 swapFree=4184028/4192956
[pid=10915] ppid=10913 vsize=150640 CPUtime=4271.95
/proc/10915/stat : 10915 (MiraXTv3_dyn) S 10913 10915 10843 0 -1 4194304 90070 0 0 0 427113 82 0 0 20 0 3 0 352746263 154255360 36096 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/10915/statm: 37660 36096 218 20 0 37018 0
[pid=10915/tid=10917] ppid=10913 vsize=150640 CPUtime=2132.34
/proc/10915/task/10917/stat : 10917 (MiraXTv3_dyn) R 10913 10915 10843 0 -1 4194368 42366 0 0 0 213197 37 0 0 25 0 3 0 352746300 154255360 36096 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526370 0 0 4096 0 0 0 0 -1 0 0 0
[pid=10915/tid=10918] ppid=10913 vsize=150640 CPUtime=2139.23
/proc/10915/task/10918/stat : 10918 (MiraXTv3_dyn) R 10913 10915 10843 0 -1 4194368 46883 0 0 0 213879 44 0 0 25 0 3 0 352746300 154255360 36096 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4271.95
Current children cumulated vsize (KiB) 150640

[startup+2202.3 s]
/proc/loadavg: 2.04 1.99 1.77 3/67 11118
/proc/meminfo: memFree=1343344/2055920 swapFree=4184028/4192956
[pid=10915] ppid=10913 vsize=150828 CPUtime=4391.44
/proc/10915/stat : 10915 (MiraXTv3_dyn) S 10913 10915 10843 0 -1 4194304 91589 0 0 0 439050 94 0 0 20 0 3 0 352746263 154447872 36164 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/10915/statm: 37707 36164 218 20 0 37065 0
[pid=10915/tid=10917] ppid=10913 vsize=150828 CPUtime=2191.96
/proc/10915/task/10917/stat : 10917 (MiraXTv3_dyn) R 10913 10915 10843 0 -1 4194368 43225 0 0 0 219148 48 0 0 25 0 3 0 352746300 154447872 36164 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
[pid=10915/tid=10918] ppid=10913 vsize=150828 CPUtime=2199.09
/proc/10915/task/10918/stat : 10918 (MiraXTv3_dyn) R 10913 10915 10843 0 -1 4194368 47543 0 0 0 219864 45 0 0 25 0 3 0 352746300 154447872 36164 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4391.44
Current children cumulated vsize (KiB) 150828

[startup+2262.3 s]
/proc/loadavg: 2.01 1.99 1.79 3/67 11118
/proc/meminfo: memFree=1343168/2055920 swapFree=4184028/4192956
[pid=10915] ppid=10913 vsize=151128 CPUtime=4511.09
/proc/10915/stat : 10915 (MiraXTv3_dyn) S 10913 10915 10843 0 -1 4194304 92831 0 0 0 451015 94 0 0 20 0 3 0 352746263 154755072 36197 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/10915/statm: 37782 36197 218 20 0 37140 0
[pid=10915/tid=10917] ppid=10913 vsize=151128 CPUtime=2251.67
/proc/10915/task/10917/stat : 10917 (MiraXTv3_dyn) R 10913 10915 10843 0 -1 4194368 44004 0 0 0 225119 48 0 0 25 0 3 0 352746300 154755072 36197 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526324 0 0 4096 0 0 0 0 -1 0 0 0
[pid=10915/tid=10918] ppid=10913 vsize=151128 CPUtime=2259.04
/proc/10915/task/10918/stat : 10918 (MiraXTv3_dyn) R 10913 10915 10843 0 -1 4194368 48006 0 0 0 225859 45 0 0 21 0 3 0 352746300 154755072 36197 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526702 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4511.09
Current children cumulated vsize (KiB) 151128

[startup+2322.3 s]
/proc/loadavg: 2.00 1.99 1.80 3/67 11118
/proc/meminfo: memFree=1342912/2055920 swapFree=4184028/4192956
[pid=10915] ppid=10913 vsize=151448 CPUtime=4630.76
/proc/10915/stat : 10915 (MiraXTv3_dyn) S 10913 10915 10843 0 -1 4194304 93893 0 0 0 462981 95 0 0 20 0 3 0 352746263 155082752 36270 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/10915/statm: 37862 36270 218 20 0 37220 0
[pid=10915/tid=10917] ppid=10913 vsize=151448 CPUtime=2311.38
/proc/10915/task/10917/stat : 10917 (MiraXTv3_dyn) R 10913 10915 10843 0 -1 4194368 44737 0 0 0 231089 49 0 0 25 0 3 0 352746300 155082752 36270 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=10915/tid=10918] ppid=10913 vsize=151448 CPUtime=2319
/proc/10915/task/10918/stat : 10918 (MiraXTv3_dyn) R 10913 10915 10843 0 -1 4194368 48335 0 0 0 231855 45 0 0 25 0 3 0 352746300 155082752 36270 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4630.76
Current children cumulated vsize (KiB) 151448

[startup+2382.3 s]
/proc/loadavg: 2.00 1.99 1.81 3/67 11118
/proc/meminfo: memFree=1342720/2055920 swapFree=4184028/4192956
[pid=10915] ppid=10913 vsize=151676 CPUtime=4750.44
/proc/10915/stat : 10915 (MiraXTv3_dyn) S 10913 10915 10843 0 -1 4194304 95132 0 0 0 474948 96 0 0 20 0 3 0 352746263 155316224 36321 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/10915/statm: 37919 36321 218 20 0 37277 0
[pid=10915/tid=10917] ppid=10913 vsize=151676 CPUtime=2371.1
/proc/10915/task/10917/stat : 10917 (MiraXTv3_dyn) R 10913 10915 10843 0 -1 4194368 45446 0 0 0 237061 49 0 0 25 0 3 0 352746300 155316224 36321 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
[pid=10915/tid=10918] ppid=10913 vsize=151676 CPUtime=2378.97
/proc/10915/task/10918/stat : 10918 (MiraXTv3_dyn) R 10913 10915 10843 0 -1 4194368 48865 0 0 0 237851 46 0 0 25 0 3 0 352746300 155316224 36321 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4750.44
Current children cumulated vsize (KiB) 151676

[startup+2442.3 s]
/proc/loadavg: 2.00 1.99 1.82 3/67 11118
/proc/meminfo: memFree=1342464/2055920 swapFree=4184028/4192956
[pid=10915] ppid=10913 vsize=151840 CPUtime=4870.12
/proc/10915/stat : 10915 (MiraXTv3_dyn) S 10913 10915 10843 0 -1 4194304 96364 0 0 0 486915 97 0 0 20 0 3 0 352746263 155484160 36365 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/10915/statm: 37960 36365 218 20 0 37318 0
[pid=10915/tid=10917] ppid=10913 vsize=151840 CPUtime=2430.82
/proc/10915/task/10917/stat : 10917 (MiraXTv3_dyn) R 10913 10915 10843 0 -1 4194368 46018 0 0 0 243032 50 0 0 25 0 3 0 352746300 155484160 36365 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526451 0 0 4096 0 0 0 0 -1 0 0 0
[pid=10915/tid=10918] ppid=10913 vsize=151840 CPUtime=2438.92
/proc/10915/task/10918/stat : 10918 (MiraXTv3_dyn) R 10913 10915 10843 0 -1 4194368 49525 0 0 0 243846 46 0 0 25 0 3 0 352746300 155484160 36365 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134525997 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4870.12
Current children cumulated vsize (KiB) 151840

[startup+2502.3 s]
/proc/loadavg: 2.00 1.99 1.83 3/67 11118
/proc/meminfo: memFree=1342528/2055920 swapFree=4184028/4192956
[pid=10915] ppid=10913 vsize=151840 CPUtime=4989.78
/proc/10915/stat : 10915 (MiraXTv3_dyn) S 10913 10915 10843 0 -1 4194304 97356 0 0 0 498880 98 0 0 20 0 3 0 352746263 155484160 36348 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/10915/statm: 37960 36348 218 20 0 37318 0
[pid=10915/tid=10917] ppid=10913 vsize=151840 CPUtime=2490.53
/proc/10915/task/10917/stat : 10917 (MiraXTv3_dyn) R 10913 10915 10843 0 -1 4194368 46679 0 0 0 249002 51 0 0 25 0 3 0 352746300 155484160 36348 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526454 0 0 4096 0 0 0 0 -1 0 0 0
[pid=10915/tid=10918] ppid=10913 vsize=151840 CPUtime=2498.87
/proc/10915/task/10918/stat : 10918 (MiraXTv3_dyn) R 10913 10915 10843 0 -1 4194368 49856 0 0 0 249841 46 0 0 25 0 3 0 352746300 155484160 36348 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4989.78
Current children cumulated vsize (KiB) 151840



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2507.5 s]
/proc/loadavg: 2.00 1.99 1.83 3/67 11118
/proc/meminfo: memFree=1342528/2055920 swapFree=4184028/4192956
[pid=10915] ppid=10913 vsize=151840 CPUtime=5000.15
/proc/10915/stat : 10915 (MiraXTv3_dyn) S 10913 10915 10843 0 -1 4194304 97488 0 0 0 499917 98 0 0 20 0 3 0 352746263 155484160 36348 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/10915/statm: 37960 36348 218 20 0 37318 0
[pid=10915/tid=10917] ppid=10913 vsize=151840 CPUtime=2495.7
/proc/10915/task/10917/stat : 10917 (MiraXTv3_dyn) R 10913 10915 10843 0 -1 4194368 46745 0 0 0 249519 51 0 0 25 0 3 0 352746300 155484160 36348 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526423 0 0 4096 0 0 0 0 -1 0 0 0
[pid=10915/tid=10918] ppid=10913 vsize=151840 CPUtime=2504.07
/proc/10915/task/10918/stat : 10918 (MiraXTv3_dyn) R 10913 10915 10843 0 -1 4194368 49922 0 0 0 250361 46 0 0 25 0 3 0 352746300 155484160 36348 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 5000.15
Current children cumulated vsize (KiB) 151840

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

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

[startup+2507.5 s]
/proc/loadavg: 2.00 1.99 1.83 3/67 11118
/proc/meminfo: memFree=1342528/2055920 swapFree=4184028/4192956
[pid=10915] ppid=10913 vsize=151840 CPUtime=5000.15
/proc/10915/stat : 10915 (MiraXTv3_dyn) S 10913 10915 10843 0 -1 4194304 97488 0 0 0 499917 98 0 0 20 0 3 0 352746263 155484160 36348 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/10915/statm: 37960 36348 218 20 0 37318 0
[pid=10915/tid=10917] ppid=10913 vsize=151840 CPUtime=2495.7
/proc/10915/task/10917/stat : 10917 (MiraXTv3_dyn) R 10913 10915 10843 0 -1 4194368 46745 0 0 0 249519 51 0 0 25 0 3 0 352746300 155484160 36348 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526423 0 0 4096 0 0 0 0 -1 0 0 0
[pid=10915/tid=10918] ppid=10913 vsize=151840 CPUtime=2504.07
/proc/10915/task/10918/stat : 10918 (MiraXTv3_dyn) R 10913 10915 10843 0 -1 4194368 49922 0 0 0 250361 46 0 0 25 0 3 0 352746300 155484160 36348 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 5000.15
Current children cumulated vsize (KiB) 151840

Child ended because it received signal 15 (SIGTERM)
Real time (s): 2507.54
CPU time (s): 5000.2
CPU user time (s): 4999.19
CPU system time (s): 1.00885
CPU usage (%): 199.407
Max. virtual memory (cumulated for all children) (KiB): 151840

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4999.19
system time used= 1.00885
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 97488
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= 1392
involuntary context switches= 38015

runsolver used 2.35964 second user time and 6.76697 second system time

The end

Launcher Data (download as text)

Begin job on node75 on Sun May 13 09:25:24 UTC 2007

IDJOB= 426272
IDBENCH= 20097
IDSOLVER= 196
FILE ID= node75/426272-1179048324

PBS_JOBID= 5253437

Free space on /tmp= 66512 MiB

SOLVER NAME= MiraXT v3
BENCH NAME= HOME/pub/bench/SAT07/random/LargeSize/7SAT/v180/unif-k7-r85-v180-c15300-S1446471927-04.cnf
COMMAND LINE= /tmp/evaluation/426272-1179048324/MiraXTv3_dyn /tmp/evaluation/426272-1179048324/instance-426272-1179048324.cnf
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node75/watcher-426272-1179048324 -o ROOT/results/node75/solver-426272-1179048324 -C 5000 -W 7500 -M 1800 --output-limit 1,15  /tmp/evaluation/426272-1179048324/MiraXTv3_dyn /tmp/evaluation/426272-1179048324/instance-426272-1179048324.cnf

META MD5SUM SOLVER= 2ad149617ed8d249d89b067eb44c33da
MD5SUM BENCH=  328eff5f4a59e23832259fb06180efee

RANDOM SEED= 87453839

TIME LIMIT= 5000 seconds
MEMORY LIMIT= 1800 MiB

Linux node75.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.257
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.257
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	: 5996.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1488488 kB
Buffers:         42636 kB
Cached:         414828 kB
SwapCached:       3168 kB
Active:         132888 kB
Inactive:       334280 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1488488 kB
SwapTotal:     4192956 kB
SwapFree:      4184028 kB
Dirty:            4352 kB
Writeback:           0 kB
Mapped:          15488 kB
Slab:            86240 kB
Committed_AS:  3418760 kB
PageTables:       1432 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= 66512 MiB

End job on node75 on Sun May 13 10:07:13 UTC 2007