Trace number 426061

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 2506.63

General information on the benchmark

Namerandom/OnTreshold/5SAT/v120/
unif-k5-r21.3-v120-c2556-S1147406493-20.UNSAT.shuffled.cnf
MD5SUM91d6f081ceab153c3d465e1ffcfa62c2
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables120
Number of clauses2556
Sum of the clauses size12780
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 52556
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/node2/watcher-426061-1178982873 -o ROOT/results/node2/solver-426061-1178982873 -C 5000 -W 7500 -M 1800 --output-limit 1,15 /tmp/evaluation/426061-1178982873/MiraXTv3_dyn /tmp/evaluation/426061-1178982873/instance-426061-1178982873.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.94 1.87 3/77 16700
/proc/meminfo: memFree=1671728/2055920 swapFree=4148880/4192956
[pid=16700] ppid=16698 vsize=3788 CPUtime=0
/proc/16700/stat : 16700 (MiraXTv3_dyn) R 16698 16700 16371 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 374325119 3878912 262 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 10970747 0 0 4096 0 0 0 0 17 1 0 0
/proc/16700/statm: 947 263 206 20 0 305 0

[startup+0.104544 s]
/proc/loadavg: 1.84 1.94 1.87 3/77 16700
/proc/meminfo: memFree=1671728/2055920 swapFree=4148880/4192956
[pid=16700] ppid=16698 vsize=6904 CPUtime=0.18
/proc/16700/stat : 16700 (MiraXTv3_dyn) S 16698 16700 16371 0 -1 4194304 719 0 0 0 18 0 0 0 18 0 3 0 374325119 7069696 694 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16700/statm: 1726 694 218 20 0 1084 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 6904

[startup+0.202552 s]
/proc/loadavg: 1.84 1.94 1.87 3/77 16700
/proc/meminfo: memFree=1671728/2055920 swapFree=4148880/4192956
[pid=16700] ppid=16698 vsize=8620 CPUtime=0.37
/proc/16700/stat : 16700 (MiraXTv3_dyn) S 16698 16700 16371 0 -1 4194304 1011 0 0 0 37 0 0 0 18 0 3 0 374325119 8826880 986 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16700/statm: 2155 986 218 20 0 1513 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 8620

[startup+0.302564 s]
/proc/loadavg: 1.84 1.94 1.87 3/77 16700
/proc/meminfo: memFree=1671728/2055920 swapFree=4148880/4192956
[pid=16700] ppid=16698 vsize=8956 CPUtime=0.57
/proc/16700/stat : 16700 (MiraXTv3_dyn) S 16698 16700 16371 0 -1 4194304 1242 0 0 0 57 0 0 0 18 0 3 0 374325119 9170944 1217 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16700/statm: 2239 1217 218 20 0 1597 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 8956

[startup+0.702607 s]
/proc/loadavg: 1.84 1.94 1.87 3/77 16700
/proc/meminfo: memFree=1671728/2055920 swapFree=4148880/4192956
[pid=16700] ppid=16698 vsize=11600 CPUtime=1.37
/proc/16700/stat : 16700 (MiraXTv3_dyn) S 16698 16700 16371 0 -1 4194304 2036 0 0 0 137 0 0 0 18 0 3 0 374325119 11878400 2011 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16700/statm: 2900 2011 218 20 0 2258 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 11600

[startup+1.5027 s]
/proc/loadavg: 1.84 1.94 1.87 3/80 16703
/proc/meminfo: memFree=1661592/2055920 swapFree=4148880/4192956
[pid=16700] ppid=16698 vsize=16204 CPUtime=2.97
/proc/16700/stat : 16700 (MiraXTv3_dyn) S 16698 16700 16371 0 -1 4194304 2769 0 0 0 296 1 0 0 18 0 3 0 374325119 16592896 2744 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16700/statm: 4051 2744 218 20 0 3409 0
[pid=16700/tid=16702] ppid=16698 vsize=16204 CPUtime=1.47
/proc/16700/task/16702/stat : 16702 (MiraXTv3_dyn) R 16698 16700 16371 0 -1 4194368 1201 0 0 0 147 0 0 0 18 0 3 0 374325121 16592896 2744 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=16700/tid=16703] ppid=16698 vsize=16204 CPUtime=1.47
/proc/16700/task/16703/stat : 16703 (MiraXTv3_dyn) R 16698 16700 16371 0 -1 4194368 1207 0 0 0 147 0 0 0 19 0 3 0 374325121 16592896 2744 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526363 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 16204

[startup+3.10186 s]
/proc/loadavg: 1.84 1.94 1.87 3/80 16703
/proc/meminfo: memFree=1660312/2055920 swapFree=4148880/4192956
[pid=16700] ppid=16698 vsize=19468 CPUtime=6.16
/proc/16700/stat : 16700 (MiraXTv3_dyn) S 16698 16700 16371 0 -1 4194304 3626 0 0 0 614 2 0 0 18 0 3 0 374325119 19935232 3529 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16700/statm: 4867 3529 218 20 0 4225 0
[pid=16700/tid=16702] ppid=16698 vsize=19468 CPUtime=3.07
/proc/16700/task/16702/stat : 16702 (MiraXTv3_dyn) R 16698 16700 16371 0 -1 4194368 1618 0 0 0 307 0 0 0 25 0 3 0 374325121 19935232 3529 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526477 0 0 4096 0 0 0 0 -1 1 0 0
[pid=16700/tid=16703] ppid=16698 vsize=19468 CPUtime=3.06
/proc/16700/task/16703/stat : 16703 (MiraXTv3_dyn) R 16698 16700 16371 0 -1 4194368 1647 0 0 0 305 1 0 0 25 0 3 0 374325121 19935232 3529 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134565842 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.16
Current children cumulated vsize (KiB) 19468

[startup+6.30119 s]
/proc/loadavg: 1.85 1.94 1.87 3/80 16703
/proc/meminfo: memFree=1651032/2055920 swapFree=4148880/4192956
[pid=16700] ppid=16698 vsize=28004 CPUtime=12.54
/proc/16700/stat : 16700 (MiraXTv3_dyn) S 16698 16700 16371 0 -1 4194304 5926 0 0 0 1251 3 0 0 18 0 3 0 374325119 28676096 5751 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16700/statm: 7001 5751 218 20 0 6359 0
[pid=16700/tid=16702] ppid=16698 vsize=28004 CPUtime=6.27
/proc/16700/task/16702/stat : 16702 (MiraXTv3_dyn) R 16698 16700 16371 0 -1 4194368 2754 0 0 0 626 1 0 0 25 0 3 0 374325121 28676096 5751 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=16700/tid=16703] ppid=16698 vsize=28004 CPUtime=6.24
/proc/16700/task/16703/stat : 16703 (MiraXTv3_dyn) R 16698 16700 16371 0 -1 4194368 2811 0 0 0 623 1 0 0 24 0 3 0 374325121 28676096 5751 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526373 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.54
Current children cumulated vsize (KiB) 28004

[startup+12.7019 s]
/proc/loadavg: 1.86 1.94 1.87 3/80 16703
/proc/meminfo: memFree=1641752/2055920 swapFree=4148880/4192956
[pid=16700] ppid=16698 vsize=35512 CPUtime=25.29
/proc/16700/stat : 16700 (MiraXTv3_dyn) S 16698 16700 16371 0 -1 4194304 8036 0 0 0 2524 5 0 0 18 0 3 0 374325119 36364288 7554 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16700/statm: 8878 7554 218 20 0 8236 0
[pid=16700/tid=16702] ppid=16698 vsize=35512 CPUtime=12.66
/proc/16700/task/16702/stat : 16702 (MiraXTv3_dyn) R 16698 16700 16371 0 -1 4194368 3800 0 0 0 1264 2 0 0 17 0 3 0 374325121 36364288 7554 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526286 0 0 4096 0 0 0 0 -1 1 0 0
[pid=16700/tid=16703] ppid=16698 vsize=35512 CPUtime=12.61
/proc/16700/task/16703/stat : 16703 (MiraXTv3_dyn) R 16698 16700 16371 0 -1 4194368 3875 0 0 0 1259 2 0 0 25 0 3 0 374325121 36364288 7554 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.29
Current children cumulated vsize (KiB) 35512

[startup+25.5022 s]
/proc/loadavg: 1.89 1.94 1.88 3/80 16703
/proc/meminfo: memFree=1631896/2055920 swapFree=4148880/4192956
[pid=16700] ppid=16698 vsize=44620 CPUtime=50.83
/proc/16700/stat : 16700 (MiraXTv3_dyn) S 16698 16700 16371 0 -1 4194304 10946 0 0 0 5075 8 0 0 18 0 3 0 374325119 45690880 10032 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16700/statm: 11155 10032 218 20 0 10513 0
[pid=16700/tid=16702] ppid=16698 vsize=44620 CPUtime=25.45
/proc/16700/task/16702/stat : 16702 (MiraXTv3_dyn) R 16698 16700 16371 0 -1 4194368 5175 0 0 0 2542 3 0 0 25 0 3 0 374325121 45690880 10032 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
[pid=16700/tid=16703] ppid=16698 vsize=44620 CPUtime=25.36
/proc/16700/task/16703/stat : 16703 (MiraXTv3_dyn) R 16698 16700 16371 0 -1 4194368 5410 0 0 0 2532 4 0 0 25 0 3 0 374325121 45690880 10032 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.83
Current children cumulated vsize (KiB) 44620

[startup+51.1029 s]
/proc/loadavg: 1.93 1.94 1.88 3/80 16703
/proc/meminfo: memFree=1628952/2055920 swapFree=4148880/4192956
[pid=16700] ppid=16698 vsize=47916 CPUtime=101.88
/proc/16700/stat : 16700 (MiraXTv3_dyn) S 16698 16700 16371 0 -1 4194304 12681 0 0 0 10178 10 0 0 18 0 3 0 374325119 49065984 10742 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16700/statm: 11979 10742 218 20 0 11337 0
[pid=16700/tid=16702] ppid=16698 vsize=47916 CPUtime=51.04
/proc/16700/task/16702/stat : 16702 (MiraXTv3_dyn) R 16698 16700 16371 0 -1 4194368 5882 0 0 0 5100 4 0 0 25 0 3 0 374325121 49065984 10742 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526351 0 0 4096 0 0 0 0 -1 1 0 0
[pid=16700/tid=16703] ppid=16698 vsize=47916 CPUtime=50.81
/proc/16700/task/16703/stat : 16703 (MiraXTv3_dyn) R 16698 16700 16371 0 -1 4194368 6438 0 0 0 5076 5 0 0 25 0 3 0 374325121 49065984 10742 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526420 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.88
Current children cumulated vsize (KiB) 47916

[startup+102.302 s]
/proc/loadavg: 1.97 1.95 1.88 3/80 16703
/proc/meminfo: memFree=1625688/2055920 swapFree=4148880/4192956
[pid=16700] ppid=16698 vsize=52112 CPUtime=203.99
/proc/16700/stat : 16700 (MiraXTv3_dyn) S 16698 16700 16371 0 -1 4194304 15220 0 0 0 20387 12 0 0 18 0 3 0 374325119 53362688 11533 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16700/statm: 13028 11533 218 20 0 12386 0
[pid=16700/tid=16702] ppid=16698 vsize=52112 CPUtime=102.19
/proc/16700/task/16702/stat : 16702 (MiraXTv3_dyn) R 16698 16700 16371 0 -1 4194368 7159 0 0 0 10214 5 0 0 25 0 3 0 374325121 53362688 11533 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=16700/tid=16703] ppid=16698 vsize=52112 CPUtime=101.77
/proc/16700/task/16703/stat : 16703 (MiraXTv3_dyn) R 16698 16700 16371 0 -1 4194368 7700 0 0 0 10170 7 0 0 25 0 3 0 374325121 53362688 11533 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 203.99
Current children cumulated vsize (KiB) 52112

[startup+162.302 s]
/proc/loadavg: 1.99 1.95 1.89 3/80 16703
/proc/meminfo: memFree=1620120/2055920 swapFree=4148880/4192956
[pid=16700] ppid=16698 vsize=56752 CPUtime=323.66
/proc/16700/stat : 16700 (MiraXTv3_dyn) S 16698 16700 16371 0 -1 4194304 18677 0 0 0 32350 16 0 0 18 0 3 0 374325119 58114048 12932 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16700/statm: 14188 12932 218 20 0 13546 0
[pid=16700/tid=16702] ppid=16698 vsize=56752 CPUtime=162.15
/proc/16700/task/16702/stat : 16702 (MiraXTv3_dyn) R 16698 16700 16371 0 -1 4194368 9070 0 0 0 16208 7 0 0 25 0 3 0 374325121 58114048 12932 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=16700/tid=16703] ppid=16698 vsize=56752 CPUtime=161.49
/proc/16700/task/16703/stat : 16703 (MiraXTv3_dyn) R 16698 16700 16371 0 -1 4194368 9246 0 0 0 16141 8 0 0 25 0 3 0 374325121 58114048 12932 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 323.66
Current children cumulated vsize (KiB) 56752

[startup+222.307 s]
/proc/loadavg: 1.99 1.96 1.90 3/80 16703
/proc/meminfo: memFree=1614552/2055920 swapFree=4148880/4192956
[pid=16700] ppid=16698 vsize=62464 CPUtime=443.35
/proc/16700/stat : 16700 (MiraXTv3_dyn) S 16698 16700 16371 0 -1 4194304 22046 0 0 0 44316 19 0 0 18 0 3 0 374325119 63963136 14319 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16700/statm: 15616 14319 218 20 0 14974 0
[pid=16700/tid=16702] ppid=16698 vsize=62464 CPUtime=222.13
/proc/16700/task/16702/stat : 16702 (MiraXTv3_dyn) R 16698 16700 16371 0 -1 4194368 10801 0 0 0 22204 9 0 0 25 0 3 0 374325121 63963136 14319 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526531 0 0 4096 0 0 0 0 -1 1 0 0
[pid=16700/tid=16703] ppid=16698 vsize=62464 CPUtime=221.19
/proc/16700/task/16703/stat : 16703 (MiraXTv3_dyn) R 16698 16700 16371 0 -1 4194368 10884 0 0 0 22110 9 0 0 25 0 3 0 374325121 63963136 14319 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 443.35
Current children cumulated vsize (KiB) 62464

[startup+282.303 s]
/proc/loadavg: 1.99 1.97 1.90 3/80 16703
/proc/meminfo: memFree=1610776/2055920 swapFree=4148880/4192956
[pid=16700] ppid=16698 vsize=66892 CPUtime=563.05
/proc/16700/stat : 16700 (MiraXTv3_dyn) S 16698 16700 16371 0 -1 4194304 24781 0 0 0 56283 22 0 0 18 0 3 0 374325119 68497408 15258 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16700/statm: 16723 15258 218 20 0 16081 0
[pid=16700/tid=16702] ppid=16698 vsize=66892 CPUtime=282.11
/proc/16700/task/16702/stat : 16702 (MiraXTv3_dyn) R 16698 16700 16371 0 -1 4194368 12048 0 0 0 28201 10 0 0 25 0 3 0 374325121 68497408 15258 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=16700/tid=16703] ppid=16698 vsize=66892 CPUtime=280.91
/proc/16700/task/16703/stat : 16703 (MiraXTv3_dyn) R 16698 16700 16371 0 -1 4194368 12372 0 0 0 28080 11 0 0 25 0 3 0 374325121 68497408 15258 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 563.05
Current children cumulated vsize (KiB) 66892

[startup+342.302 s]
/proc/loadavg: 1.99 1.97 1.91 3/80 16703
/proc/meminfo: memFree=1609112/2055920 swapFree=4148880/4192956
[pid=16700] ppid=16698 vsize=67760 CPUtime=682.75
/proc/16700/stat : 16700 (MiraXTv3_dyn) S 16698 16700 16371 0 -1 4194304 27010 0 0 0 68251 24 0 0 18 0 3 0 374325119 69386240 15650 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16700/statm: 16940 15650 218 20 0 16298 0
[pid=16700/tid=16702] ppid=16698 vsize=67760 CPUtime=342.08
/proc/16700/task/16702/stat : 16702 (MiraXTv3_dyn) R 16698 16700 16371 0 -1 4194368 13195 0 0 0 34197 11 0 0 25 0 3 0 374325121 69386240 15650 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526291 0 0 4096 0 0 0 0 -1 1 0 0
[pid=16700/tid=16703] ppid=16698 vsize=67760 CPUtime=340.65
/proc/16700/task/16703/stat : 16703 (MiraXTv3_dyn) R 16698 16700 16371 0 -1 4194368 13454 0 0 0 34053 12 0 0 25 0 3 0 374325121 69386240 15650 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 682.75
Current children cumulated vsize (KiB) 67760

[startup+402.302 s]

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

/proc/16700/task/16702/stat : 16702 (MiraXTv3_dyn) R 16698 16700 16371 0 -1 4194368 34599 0 0 0 189886 33 0 0 25 0 3 0 374325121 91488256 20878 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=16700/tid=16703] ppid=16698 vsize=89344 CPUtime=1895.43
/proc/16700/task/16703/stat : 16703 (MiraXTv3_dyn) R 16698 16700 16371 0 -1 4194368 36918 0 0 0 189507 36 0 0 25 0 3 0 374325121 91488256 20878 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3794.63
Current children cumulated vsize (KiB) 89344

[startup+1962.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/80 16705
/proc/meminfo: memFree=1587800/2055920 swapFree=4148880/4192956
[pid=16700] ppid=16698 vsize=90516 CPUtime=3914.33
/proc/16700/stat : 16700 (MiraXTv3_dyn) S 16698 16700 16371 0 -1 4194304 73159 0 0 0 391363 70 0 0 18 0 3 0 374325119 92688384 20960 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16700/statm: 22629 20960 218 20 0 21987 0
[pid=16700/tid=16702] ppid=16698 vsize=90516 CPUtime=1958.91
/proc/16700/task/16702/stat : 16702 (MiraXTv3_dyn) R 16698 16700 16371 0 -1 4194368 35281 0 0 0 195858 33 0 0 25 0 3 0 374325121 92688384 20960 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=16700/tid=16703] ppid=16698 vsize=90516 CPUtime=1955.4
/proc/16700/task/16703/stat : 16703 (MiraXTv3_dyn) R 16698 16700 16371 0 -1 4194368 37517 0 0 0 195503 37 0 0 25 0 3 0 374325121 92688384 20960 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3914.33
Current children cumulated vsize (KiB) 90516

[startup+2022.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/80 16705
/proc/meminfo: memFree=1587608/2055920 swapFree=4148880/4192956
[pid=16700] ppid=16698 vsize=90656 CPUtime=4034.01
/proc/16700/stat : 16700 (MiraXTv3_dyn) S 16698 16700 16371 0 -1 4194304 74741 0 0 0 403329 72 0 0 18 0 3 0 374325119 92831744 21012 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16700/statm: 22664 21012 218 20 0 22022 0
[pid=16700/tid=16702] ppid=16698 vsize=90656 CPUtime=2018.61
/proc/16700/task/16702/stat : 16702 (MiraXTv3_dyn) R 16698 16700 16371 0 -1 4194368 36096 0 0 0 201828 33 0 0 25 0 3 0 374325121 92831744 21012 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
[pid=16700/tid=16703] ppid=16698 vsize=90656 CPUtime=2015.37
/proc/16700/task/16703/stat : 16703 (MiraXTv3_dyn) R 16698 16700 16371 0 -1 4194368 38284 0 0 0 201499 38 0 0 25 0 3 0 374325121 92831744 21012 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526702 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4034.01
Current children cumulated vsize (KiB) 90656

[startup+2082.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/80 16705
/proc/meminfo: memFree=1586328/2055920 swapFree=4148880/4192956
[pid=16700] ppid=16698 vsize=92016 CPUtime=4153.71
/proc/16700/stat : 16700 (MiraXTv3_dyn) S 16698 16700 16371 0 -1 4194304 76263 0 0 0 415298 73 0 0 18 0 3 0 374325119 94224384 21324 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16700/statm: 23004 21324 218 20 0 22362 0
[pid=16700/tid=16702] ppid=16698 vsize=92016 CPUtime=2078.34
/proc/16700/task/16702/stat : 16702 (MiraXTv3_dyn) R 16698 16700 16371 0 -1 4194368 36928 0 0 0 207801 33 0 0 25 0 3 0 374325121 94224384 21324 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526702 0 0 4096 0 0 0 0 -1 0 0 0
[pid=16700/tid=16703] ppid=16698 vsize=92016 CPUtime=2075.34
/proc/16700/task/16703/stat : 16703 (MiraXTv3_dyn) R 16698 16700 16371 0 -1 4194368 38974 0 0 0 207495 39 0 0 25 0 3 0 374325121 94224384 21324 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 10969196 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4153.71
Current children cumulated vsize (KiB) 92016

[startup+2142.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/80 16705
/proc/meminfo: memFree=1585048/2055920 swapFree=4148880/4192956
[pid=16700] ppid=16698 vsize=93040 CPUtime=4273.39
/proc/16700/stat : 16700 (MiraXTv3_dyn) S 16698 16700 16371 0 -1 4194304 78110 0 0 0 427264 75 0 0 18 0 3 0 374325119 95272960 21732 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16700/statm: 23260 21732 218 20 0 22618 0
[pid=16700/tid=16702] ppid=16698 vsize=93040 CPUtime=2138.07
/proc/16700/task/16702/stat : 16702 (MiraXTv3_dyn) R 16698 16700 16371 0 -1 4194368 37595 0 0 0 213773 34 0 0 25 0 3 0 374325121 95272960 21732 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
[pid=16700/tid=16703] ppid=16698 vsize=93040 CPUtime=2135.31
/proc/16700/task/16703/stat : 16703 (MiraXTv3_dyn) R 16698 16700 16371 0 -1 4194368 40154 0 0 0 213490 41 0 0 25 0 3 0 374325121 95272960 21732 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526702 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4273.39
Current children cumulated vsize (KiB) 93040

[startup+2202.31 s]
/proc/loadavg: 1.99 1.97 1.91 3/80 16705
/proc/meminfo: memFree=1584088/2055920 swapFree=4148880/4192956
[pid=16700] ppid=16698 vsize=94116 CPUtime=4393.09
/proc/16700/stat : 16700 (MiraXTv3_dyn) S 16698 16700 16371 0 -1 4194304 79825 0 0 0 439232 77 0 0 18 0 3 0 374325119 96374784 21887 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16700/statm: 23529 21887 218 20 0 22887 0
[pid=16700/tid=16702] ppid=16698 vsize=94116 CPUtime=2197.78
/proc/16700/task/16702/stat : 16702 (MiraXTv3_dyn) R 16698 16700 16371 0 -1 4194368 38532 0 0 0 219744 34 0 0 25 0 3 0 374325121 96374784 21887 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=16700/tid=16703] ppid=16698 vsize=94116 CPUtime=2195.28
/proc/16700/task/16703/stat : 16703 (MiraXTv3_dyn) R 16698 16700 16371 0 -1 4194368 40932 0 0 0 219486 42 0 0 25 0 3 0 374325121 96374784 21887 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526702 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4393.09
Current children cumulated vsize (KiB) 94116

[startup+2262.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/80 16705
/proc/meminfo: memFree=1583832/2055920 swapFree=4148880/4192956
[pid=16700] ppid=16698 vsize=94344 CPUtime=4512.8
/proc/16700/stat : 16700 (MiraXTv3_dyn) S 16698 16700 16371 0 -1 4194304 81343 0 0 0 451201 79 0 0 18 0 3 0 374325119 96608256 21949 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16700/statm: 23586 21949 218 20 0 22944 0
[pid=16700/tid=16702] ppid=16698 vsize=94344 CPUtime=2257.53
/proc/16700/task/16702/stat : 16702 (MiraXTv3_dyn) R 16698 16700 16371 0 -1 4194368 39258 0 0 0 225718 35 0 0 25 0 3 0 374325121 96608256 21949 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=16700/tid=16703] ppid=16698 vsize=94344 CPUtime=2255.24
/proc/16700/task/16703/stat : 16703 (MiraXTv3_dyn) R 16698 16700 16371 0 -1 4194368 41724 0 0 0 225481 43 0 0 25 0 3 0 374325121 96608256 21949 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526335 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4512.8
Current children cumulated vsize (KiB) 94344

[startup+2322.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/80 16705
/proc/meminfo: memFree=1583448/2055920 swapFree=4148880/4192956
[pid=16700] ppid=16698 vsize=94532 CPUtime=4632.5
/proc/16700/stat : 16700 (MiraXTv3_dyn) S 16698 16700 16371 0 -1 4194304 82916 0 0 0 463170 80 0 0 18 0 3 0 374325119 96800768 22054 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16700/statm: 23633 22054 218 20 0 22991 0
[pid=16700/tid=16702] ppid=16698 vsize=94532 CPUtime=2317.5
/proc/16700/task/16702/stat : 16702 (MiraXTv3_dyn) R 16698 16700 16371 0 -1 4194368 39992 0 0 0 231714 36 0 0 25 0 3 0 374325121 96800768 22054 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526312 0 0 4096 0 0 0 0 -1 1 0 0
[pid=16700/tid=16703] ppid=16698 vsize=94532 CPUtime=2314.98
/proc/16700/task/16703/stat : 16703 (MiraXTv3_dyn) R 16698 16700 16371 0 -1 4194368 42563 0 0 0 231455 43 0 0 25 0 3 0 374325121 96800768 22054 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526454 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4632.5
Current children cumulated vsize (KiB) 94532

[startup+2382.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/80 16705
/proc/meminfo: memFree=1583256/2055920 swapFree=4148880/4192956
[pid=16700] ppid=16698 vsize=94532 CPUtime=4752.18
/proc/16700/stat : 16700 (MiraXTv3_dyn) S 16698 16700 16371 0 -1 4194304 84461 0 0 0 475136 82 0 0 18 0 3 0 374325119 96800768 22123 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16700/statm: 23633 22123 218 20 0 22991 0
[pid=16700/tid=16702] ppid=16698 vsize=94532 CPUtime=2377.45
/proc/16700/task/16702/stat : 16702 (MiraXTv3_dyn) R 16698 16700 16371 0 -1 4194368 40811 0 0 0 237708 37 0 0 25 0 3 0 374325121 96800768 22123 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=16700/tid=16703] ppid=16698 vsize=94532 CPUtime=2374.7
/proc/16700/task/16703/stat : 16703 (MiraXTv3_dyn) R 16698 16700 16371 0 -1 4194368 43289 0 0 0 237426 44 0 0 25 0 3 0 374325121 96800768 22123 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4752.18
Current children cumulated vsize (KiB) 94532

[startup+2442.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/80 16705
/proc/meminfo: memFree=1582808/2055920 swapFree=4148880/4192956
[pid=16700] ppid=16698 vsize=94740 CPUtime=4871.87
/proc/16700/stat : 16700 (MiraXTv3_dyn) S 16698 16700 16371 0 -1 4194304 85909 0 0 0 487104 83 0 0 18 0 3 0 374325119 97013760 22203 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16700/statm: 23685 22203 218 20 0 23043 0
[pid=16700/tid=16702] ppid=16698 vsize=94740 CPUtime=2437.43
/proc/16700/task/16702/stat : 16702 (MiraXTv3_dyn) R 16698 16700 16371 0 -1 4194368 41553 0 0 0 243705 38 0 0 22 0 3 0 374325121 97013760 22203 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
[pid=16700/tid=16703] ppid=16698 vsize=94740 CPUtime=2434.41
/proc/16700/task/16703/stat : 16703 (MiraXTv3_dyn) R 16698 16700 16371 0 -1 4194368 43995 0 0 0 243397 44 0 0 22 0 3 0 374325121 97013760 22203 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526451 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4871.87
Current children cumulated vsize (KiB) 94740

[startup+2502.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/80 16705
/proc/meminfo: memFree=1582744/2055920 swapFree=4148880/4192956
[pid=16700] ppid=16698 vsize=95764 CPUtime=4991.57
/proc/16700/stat : 16700 (MiraXTv3_dyn) S 16698 16700 16371 0 -1 4194304 87332 0 0 0 499073 84 0 0 18 0 3 0 374325119 98062336 22250 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16700/statm: 23941 22250 218 20 0 23299 0
[pid=16700/tid=16702] ppid=16698 vsize=95764 CPUtime=2497.4
/proc/16700/task/16702/stat : 16702 (MiraXTv3_dyn) R 16698 16700 16371 0 -1 4194368 42244 0 0 0 249701 39 0 0 25 0 3 0 374325121 98062336 22250 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
[pid=16700/tid=16703] ppid=16698 vsize=95764 CPUtime=2494.14
/proc/16700/task/16703/stat : 16703 (MiraXTv3_dyn) R 16698 16700 16371 0 -1 4194368 44727 0 0 0 249370 44 0 0 25 0 3 0 374325121 98062336 22250 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134565842 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4991.57
Current children cumulated vsize (KiB) 95764



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2506.6 s]
/proc/loadavg: 1.99 1.97 1.91 3/80 16705
/proc/meminfo: memFree=1582616/2055920 swapFree=4148880/4192956
[pid=16700] ppid=16698 vsize=95764 CPUtime=5000.16
/proc/16700/stat : 16700 (MiraXTv3_dyn) S 16698 16700 16371 0 -1 4194304 87564 0 0 0 499931 85 0 0 18 0 3 0 374325119 98062336 22252 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16700/statm: 23941 22252 218 20 0 23299 0
[pid=16700/tid=16702] ppid=16698 vsize=95764 CPUtime=2501.7
/proc/16700/task/16702/stat : 16702 (MiraXTv3_dyn) R 16698 16700 16371 0 -1 4194368 42360 0 0 0 250131 39 0 0 25 0 3 0 374325121 98062336 22252 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=16700/tid=16703] ppid=16698 vsize=95764 CPUtime=2498.42
/proc/16700/task/16703/stat : 16703 (MiraXTv3_dyn) R 16698 16700 16371 0 -1 4194368 44843 0 0 0 249798 44 0 0 25 0 3 0 374325121 98062336 22252 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 5000.16
Current children cumulated vsize (KiB) 95764

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

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

[startup+2506.6 s]
/proc/loadavg: 1.99 1.97 1.91 3/80 16705
/proc/meminfo: memFree=1582616/2055920 swapFree=4148880/4192956
[pid=16700] ppid=16698 vsize=95764 CPUtime=5000.16
/proc/16700/stat : 16700 (MiraXTv3_dyn) S 16698 16700 16371 0 -1 4194304 87564 0 0 0 499931 85 0 0 18 0 3 0 374325119 98062336 22252 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16700/statm: 23941 22252 218 20 0 23299 0
[pid=16700/tid=16702] ppid=16698 vsize=95764 CPUtime=2501.7
/proc/16700/task/16702/stat : 16702 (MiraXTv3_dyn) R 16698 16700 16371 0 -1 4194368 42360 0 0 0 250131 39 0 0 25 0 3 0 374325121 98062336 22252 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=16700/tid=16703] ppid=16698 vsize=95764 CPUtime=2498.42
/proc/16700/task/16703/stat : 16703 (MiraXTv3_dyn) R 16698 16700 16371 0 -1 4194368 44843 0 0 0 249798 44 0 0 25 0 3 0 374325121 98062336 22252 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 5000.16
Current children cumulated vsize (KiB) 95764

Child ended because it received signal 15 (SIGTERM)
Real time (s): 2506.63
CPU time (s): 5000.2
CPU user time (s): 4999.33
CPU system time (s): 0.863868
CPU usage (%): 199.479
Max. virtual memory (cumulated for all children) (KiB): 95764

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4999.33
system time used= 0.863868
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 87564
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= 759
involuntary context switches= 94180

runsolver used 2.47562 second user time and 6.64799 second system time

The end

Launcher Data (download as text)

Begin job on node2 on Sat May 12 15:14:33 UTC 2007

IDJOB= 426061
IDBENCH= 19860
IDSOLVER= 196
FILE ID= node2/426061-1178982873

PBS_JOBID= 5252799

Free space on /tmp= 66561 MiB

SOLVER NAME= MiraXT v3
BENCH NAME= HOME/pub/bench/SAT07/random/OnTreshold/5SAT/v120/unif-k5-r21.3-v120-c2556-S1147406493-20.UNSAT.shuffled.cnf
COMMAND LINE= /tmp/evaluation/426061-1178982873/MiraXTv3_dyn /tmp/evaluation/426061-1178982873/instance-426061-1178982873.cnf
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node2/watcher-426061-1178982873 -o ROOT/results/node2/solver-426061-1178982873 -C 5000 -W 7500 -M 1800 --output-limit 1,15  /tmp/evaluation/426061-1178982873/MiraXTv3_dyn /tmp/evaluation/426061-1178982873/instance-426061-1178982873.cnf

META MD5SUM SOLVER= 2ad149617ed8d249d89b067eb44c33da
MD5SUM BENCH=  91d6f081ceab153c3d465e1ffcfa62c2

RANDOM SEED= 976042759

TIME LIMIT= 5000 seconds
MEMORY LIMIT= 1800 MiB

Linux node2.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.234
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.234
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1671944 kB
Buffers:         47308 kB
Cached:         247752 kB
SwapCached:      12368 kB
Active:         135972 kB
Inactive:       182284 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1671944 kB
SwapTotal:     4192956 kB
SwapFree:      4148880 kB
Dirty:            3976 kB
Writeback:           0 kB
Mapped:          30116 kB
Slab:            51184 kB
Committed_AS: 11834324 kB
PageTables:       1860 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= 66561 MiB

End job on node2 on Sat May 12 15:56:22 UTC 2007