Trace number 426162

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.14 2506.43

General information on the benchmark

Namerandom/OnTreshold/3SAT/v500/
unif-k3-r4.26-v500-c2130-S1257199575-18.UNSAT.shuffled.cnf
MD5SUM5cb12367c8059b22462366f8563a334f
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark3203.28
Satisfiable
(Un)Satisfiability was proved
Number of variables500
Number of clauses2130
Sum of the clauses size6390
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 32130
Number of clauses of size 40
Number of clauses of size 50
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/node15/watcher-426162-1178993000 -o ROOT/results/node15/solver-426162-1178993000 -C 5000 -W 7500 -M 1800 --output-limit 1,15 /tmp/evaluation/426162-1178993000/MiraXTv3_dyn /tmp/evaluation/426162-1178993000/instance-426162-1178993000.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.83 1.94 1.90 3/77 21653
/proc/meminfo: memFree=1773552/2055920 swapFree=4156504/4192956
[pid=21653] ppid=21651 vsize=3788 CPUtime=0
/proc/21653/stat : 21653 (MiraXTv3_dyn) R 21651 21653 21581 0 -1 4194304 295 0 0 0 0 0 0 0 18 0 1 0 347217583 3878912 270 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 7951309 0 0 4096 0 0 0 0 17 1 0 0
/proc/21653/statm: 947 270 206 20 0 305 0

[startup+0.054109 s]
/proc/loadavg: 1.83 1.94 1.90 3/77 21653
/proc/meminfo: memFree=1773552/2055920 swapFree=4156504/4192956
[pid=21653] ppid=21651 vsize=8048 CPUtime=0.37
/proc/21653/stat : 21653 (MiraXTv3_dyn) S 21651 21653 21581 0 -1 4194304 854 0 0 0 37 0 0 0 18 0 3 0 347217583 8241152 829 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21653/statm: 2012 829 218 20 0 1370 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 8048

[startup+0.248266 s]
/proc/loadavg: 1.83 1.94 1.90 3/77 21653
/proc/meminfo: memFree=1773552/2055920 swapFree=4156504/4192956
[pid=21653] ppid=21651 vsize=8312 CPUtime=0.47
/proc/21653/stat : 21653 (MiraXTv3_dyn) S 21651 21653 21581 0 -1 4194304 943 0 0 0 47 0 0 0 18 0 3 0 347217583 8511488 918 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21653/statm: 2078 918 218 20 0 1436 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 8312

[startup+0.30127 s]
/proc/loadavg: 1.83 1.94 1.90 3/77 21653
/proc/meminfo: memFree=1773552/2055920 swapFree=4156504/4192956
[pid=21653] ppid=21651 vsize=8640 CPUtime=0.57
/proc/21653/stat : 21653 (MiraXTv3_dyn) S 21651 21653 21581 0 -1 4194304 1035 0 0 0 57 0 0 0 18 0 3 0 347217583 8847360 1010 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21653/statm: 2160 1010 218 20 0 1518 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 8640

[startup+0.701309 s]
/proc/loadavg: 1.83 1.94 1.90 3/77 21653
/proc/meminfo: memFree=1773552/2055920 swapFree=4156504/4192956
[pid=21653] ppid=21651 vsize=10664 CPUtime=1.37
/proc/21653/stat : 21653 (MiraXTv3_dyn) S 21651 21653 21581 0 -1 4194304 1655 0 0 0 137 0 0 0 18 0 3 0 347217583 10919936 1630 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21653/statm: 2666 1630 218 20 0 2024 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 10664

[startup+1.50238 s]
/proc/loadavg: 1.85 1.94 1.90 3/80 21656
/proc/meminfo: memFree=1765592/2055920 swapFree=4156504/4192956
[pid=21653] ppid=21651 vsize=15208 CPUtime=2.97
/proc/21653/stat : 21653 (MiraXTv3_dyn) S 21651 21653 21581 0 -1 4194304 2705 0 0 0 296 1 0 0 18 0 3 0 347217583 15572992 2680 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21653/statm: 3802 2680 218 20 0 3160 0
[pid=21653/tid=21655] ppid=21651 vsize=15208 CPUtime=1.47
/proc/21653/task/21655/stat : 21655 (MiraXTv3_dyn) R 21651 21653 21581 0 -1 4194368 1122 0 0 0 147 0 0 0 19 0 3 0 347217584 15572992 2680 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526515 0 0 4096 0 0 0 0 -1 1 0 0
[pid=21653/tid=21656] ppid=21651 vsize=15208 CPUtime=1.47
/proc/21653/task/21656/stat : 21656 (MiraXTv3_dyn) R 21651 21653 21581 0 -1 4194368 1233 0 0 0 147 0 0 0 19 0 3 0 347217584 15572992 2680 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 15208

[startup+3.10253 s]
/proc/loadavg: 1.85 1.94 1.90 3/80 21656
/proc/meminfo: memFree=1762968/2055920 swapFree=4156504/4192956
[pid=21653] ppid=21651 vsize=16852 CPUtime=6.16
/proc/21653/stat : 21653 (MiraXTv3_dyn) S 21651 21653 21581 0 -1 4194304 3182 0 0 0 615 1 0 0 18 0 3 0 347217583 17256448 3157 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21653/statm: 4213 3157 218 20 0 3571 0
[pid=21653/tid=21655] ppid=21651 vsize=16852 CPUtime=3.07
/proc/21653/task/21655/stat : 21655 (MiraXTv3_dyn) R 21651 21653 21581 0 -1 4194368 1325 0 0 0 307 0 0 0 20 0 3 0 347217584 17256448 3157 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134521256 0 0 4096 0 0 0 0 -1 1 0 0
[pid=21653/tid=21656] ppid=21651 vsize=16852 CPUtime=3.07
/proc/21653/task/21656/stat : 21656 (MiraXTv3_dyn) R 21651 21653 21581 0 -1 4194368 1507 0 0 0 307 0 0 0 21 0 3 0 347217584 17256448 3157 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134520099 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.16
Current children cumulated vsize (KiB) 16852

[startup+6.30183 s]
/proc/loadavg: 1.85 1.94 1.90 3/80 21656
/proc/meminfo: memFree=1754904/2055920 swapFree=4156504/4192956
[pid=21653] ppid=21651 vsize=24976 CPUtime=12.55
/proc/21653/stat : 21653 (MiraXTv3_dyn) S 21651 21653 21581 0 -1 4194304 5451 0 0 0 1252 3 0 0 18 0 3 0 347217583 25575424 5272 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21653/statm: 6244 5272 218 20 0 5602 0
[pid=21653/tid=21655] ppid=21651 vsize=24976 CPUtime=6.26
/proc/21653/task/21655/stat : 21655 (MiraXTv3_dyn) R 21651 21653 21581 0 -1 4194368 2451 0 0 0 625 1 0 0 25 0 3 0 347217584 25575424 5272 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=21653/tid=21656] ppid=21651 vsize=24976 CPUtime=6.27
/proc/21653/task/21656/stat : 21656 (MiraXTv3_dyn) R 21651 21653 21581 0 -1 4194368 2650 0 0 0 626 1 0 0 22 0 3 0 347217584 25575424 5272 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526489 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 24976

[startup+12.7014 s]
/proc/loadavg: 1.87 1.94 1.90 3/80 21656
/proc/meminfo: memFree=1741088/2055920 swapFree=4156504/4192956
[pid=21653] ppid=21651 vsize=37960 CPUtime=25.31
/proc/21653/stat : 21653 (MiraXTv3_dyn) S 21651 21653 21581 0 -1 4194304 8585 0 0 0 2525 6 0 0 18 0 3 0 347217583 38871040 8202 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21653/statm: 9490 8202 218 20 0 8848 0
[pid=21653/tid=21655] ppid=21651 vsize=37960 CPUtime=12.63
/proc/21653/task/21655/stat : 21655 (MiraXTv3_dyn) R 21651 21653 21581 0 -1 4194368 4010 0 0 0 1260 3 0 0 25 0 3 0 347217584 38871040 8202 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=21653/tid=21656] ppid=21651 vsize=37960 CPUtime=12.66
/proc/21653/task/21656/stat : 21656 (MiraXTv3_dyn) R 21651 21653 21581 0 -1 4194368 4225 0 0 0 1264 2 0 0 23 0 3 0 347217584 38871040 8202 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134520089 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.31
Current children cumulated vsize (KiB) 37960

[startup+25.5016 s]
/proc/loadavg: 1.89 1.94 1.90 3/80 21656
/proc/meminfo: memFree=1733664/2055920 swapFree=4156504/4192956
[pid=21653] ppid=21651 vsize=45492 CPUtime=50.84
/proc/21653/stat : 21653 (MiraXTv3_dyn) S 21651 21653 21581 0 -1 4194304 10921 0 0 0 5075 9 0 0 18 0 3 0 347217583 46583808 10168 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21653/statm: 11373 10168 218 20 0 10731 0
[pid=21653/tid=21655] ppid=21651 vsize=45492 CPUtime=25.37
/proc/21653/task/21655/stat : 21655 (MiraXTv3_dyn) R 21651 21653 21581 0 -1 4194368 5292 0 0 0 2533 4 0 0 25 0 3 0 347217584 46583808 10168 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=21653/tid=21656] ppid=21651 vsize=45492 CPUtime=25.44
/proc/21653/task/21656/stat : 21656 (MiraXTv3_dyn) R 21651 21653 21581 0 -1 4194368 5279 0 0 0 2541 3 0 0 25 0 3 0 347217584 46583808 10168 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526454 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.84
Current children cumulated vsize (KiB) 45492

[startup+51.1019 s]
/proc/loadavg: 1.93 1.94 1.90 3/80 21656
/proc/meminfo: memFree=1725600/2055920 swapFree=4156504/4192956
[pid=21653] ppid=21651 vsize=52928 CPUtime=101.87
/proc/21653/stat : 21653 (MiraXTv3_dyn) S 21651 21653 21581 0 -1 4194304 13740 0 0 0 10175 12 0 0 18 0 3 0 347217583 54198272 12047 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21653/statm: 13232 12047 218 20 0 12590 0
[pid=21653/tid=21655] ppid=21651 vsize=52928 CPUtime=50.85
/proc/21653/task/21655/stat : 21655 (MiraXTv3_dyn) R 21651 21653 21581 0 -1 4194368 6670 0 0 0 5079 6 0 0 25 0 3 0 347217584 54198272 12047 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526291 0 0 4096 0 0 0 0 -1 1 0 0
[pid=21653/tid=21656] ppid=21651 vsize=52928 CPUtime=51
/proc/21653/task/21656/stat : 21656 (MiraXTv3_dyn) R 21651 21653 21581 0 -1 4194368 6720 0 0 0 5095 5 0 0 25 0 3 0 347217584 54198272 12047 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.87
Current children cumulated vsize (KiB) 52928

[startup+102.302 s]
/proc/loadavg: 1.97 1.95 1.91 3/80 21656
/proc/meminfo: memFree=1722528/2055920 swapFree=4156504/4192956
[pid=21653] ppid=21651 vsize=55788 CPUtime=204
/proc/21653/stat : 21653 (MiraXTv3_dyn) S 21651 21653 21581 0 -1 4194304 16056 0 0 0 20386 14 0 0 18 0 3 0 347217583 57126912 12829 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21653/statm: 13947 12829 218 20 0 13305 0
[pid=21653/tid=21655] ppid=21651 vsize=55788 CPUtime=101.83
/proc/21653/task/21655/stat : 21655 (MiraXTv3_dyn) R 21651 21653 21581 0 -1 4194368 7732 0 0 0 10176 7 0 0 25 0 3 0 347217584 57126912 12829 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
[pid=21653/tid=21656] ppid=21651 vsize=55788 CPUtime=102.15
/proc/21653/task/21656/stat : 21656 (MiraXTv3_dyn) R 21651 21653 21581 0 -1 4194368 7974 0 0 0 10209 6 0 0 25 0 3 0 347217584 57126912 12829 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 204
Current children cumulated vsize (KiB) 55788

[startup+162.301 s]
/proc/loadavg: 1.99 1.96 1.91 3/80 21656
/proc/meminfo: memFree=1716576/2055920 swapFree=4156504/4192956
[pid=21653] ppid=21651 vsize=61000 CPUtime=323.62
/proc/21653/stat : 21653 (MiraXTv3_dyn) S 21651 21653 21581 0 -1 4194304 19268 0 0 0 32344 18 0 0 18 0 3 0 347217583 62464000 14286 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21653/statm: 15250 14286 218 20 0 14608 0
[pid=21653/tid=21655] ppid=21651 vsize=61000 CPUtime=161.56
/proc/21653/task/21655/stat : 21655 (MiraXTv3_dyn) R 21651 21653 21581 0 -1 4194368 9349 0 0 0 16146 10 0 0 25 0 3 0 347217584 62464000 14286 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526477 0 0 4096 0 0 0 0 -1 1 0 0
[pid=21653/tid=21656] ppid=21651 vsize=61000 CPUtime=162.04
/proc/21653/task/21656/stat : 21656 (MiraXTv3_dyn) R 21651 21653 21581 0 -1 4194368 9569 0 0 0 16196 8 0 0 25 0 3 0 347217584 62464000 14286 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526454 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 323.62
Current children cumulated vsize (KiB) 61000

[startup+222.307 s]
/proc/loadavg: 1.99 1.96 1.91 3/80 21656
/proc/meminfo: memFree=1708768/2055920 swapFree=4156504/4192956
[pid=21653] ppid=21651 vsize=70164 CPUtime=443.32
/proc/21653/stat : 21653 (MiraXTv3_dyn) S 21651 21653 21581 0 -1 4194304 22906 0 0 0 44309 23 0 0 18 0 3 0 347217583 71847936 16247 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21653/statm: 17541 16247 218 20 0 16899 0
[pid=21653/tid=21655] ppid=21651 vsize=70164 CPUtime=221.33
/proc/21653/task/21655/stat : 21655 (MiraXTv3_dyn) R 21651 21653 21581 0 -1 4194368 11131 0 0 0 22120 13 0 0 25 0 3 0 347217584 71847936 16247 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=21653/tid=21656] ppid=21651 vsize=70164 CPUtime=221.97
/proc/21653/task/21656/stat : 21656 (MiraXTv3_dyn) R 21651 21653 21581 0 -1 4194368 11425 0 0 0 22188 9 0 0 25 0 3 0 347217584 71847936 16247 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 443.32
Current children cumulated vsize (KiB) 70164

[startup+282.301 s]
/proc/loadavg: 1.99 1.97 1.91 3/80 21656
/proc/meminfo: memFree=1705824/2055920 swapFree=4156504/4192956
[pid=21653] ppid=21651 vsize=73604 CPUtime=563.03
/proc/21653/stat : 21653 (MiraXTv3_dyn) S 21651 21653 21581 0 -1 4194304 25462 0 0 0 56278 25 0 0 18 0 3 0 347217583 75370496 17033 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21653/statm: 18401 17033 218 20 0 17759 0
[pid=21653/tid=21655] ppid=21651 vsize=73604 CPUtime=281.08
/proc/21653/task/21655/stat : 21655 (MiraXTv3_dyn) R 21651 21653 21581 0 -1 4194368 12310 0 0 0 28094 14 0 0 25 0 3 0 347217584 75370496 17033 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526531 0 0 4096 0 0 0 0 -1 1 0 0
[pid=21653/tid=21656] ppid=21651 vsize=73604 CPUtime=281.93
/proc/21653/task/21656/stat : 21656 (MiraXTv3_dyn) R 21651 21653 21581 0 -1 4194368 12802 0 0 0 28183 10 0 0 25 0 3 0 347217584 75370496 17033 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 563.03
Current children cumulated vsize (KiB) 73604

[startup+342.302 s]
/proc/loadavg: 1.99 1.97 1.91 3/80 21656
/proc/meminfo: memFree=1703584/2055920 swapFree=4156504/4192956
[pid=21653] ppid=21651 vsize=75328 CPUtime=682.71
/proc/21653/stat : 21653 (MiraXTv3_dyn) S 21651 21653 21581 0 -1 4194304 27614 0 0 0 68244 27 0 0 18 0 3 0 347217583 77135872 17538 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21653/statm: 18832 17538 218 20 0 18190 0
[pid=21653/tid=21655] ppid=21651 vsize=75328 CPUtime=340.82
/proc/21653/task/21655/stat : 21655 (MiraXTv3_dyn) R 21651 21653 21581 0 -1 4194368 13413 0 0 0 34067 15 0 0 25 0 3 0 347217584 77135872 17538 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=21653/tid=21656] ppid=21651 vsize=75328 CPUtime=341.87
/proc/21653/task/21656/stat : 21656 (MiraXTv3_dyn) R 21651 21653 21581 0 -1 4194368 13851 0 0 0 34176 11 0 0 25 0 3 0 347217584 77135872 17538 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526324 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 682.71
Current children cumulated vsize (KiB) 75328

[startup+402.301 s]

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

/proc/21653/task/21655/stat : 21655 (MiraXTv3_dyn) R 21651 21653 21581 0 -1 4194368 33782 0 0 0 189401 39 0 0 25 0 3 0 347217584 103067648 23727 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
[pid=21653/tid=21656] ppid=21651 vsize=100652 CPUtime=1900.46
/proc/21653/task/21656/stat : 21656 (MiraXTv3_dyn) R 21651 21653 21581 0 -1 4194368 37115 0 0 0 190012 34 0 0 25 0 3 0 347217584 103067648 23727 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3794.88
Current children cumulated vsize (KiB) 100652

[startup+1962.3 s]
/proc/loadavg: 2.00 1.99 1.91 3/80 21656
/proc/meminfo: memFree=1678752/2055920 swapFree=4156504/4192956
[pid=21653] ppid=21651 vsize=100788 CPUtime=3914.58
/proc/21653/stat : 21653 (MiraXTv3_dyn) S 21651 21653 21581 0 -1 4194304 72861 0 0 0 391383 75 0 0 18 0 3 0 347217583 103206912 23783 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21653/statm: 25197 23783 218 20 0 24555 0
[pid=21653/tid=21655] ppid=21651 vsize=100788 CPUtime=1954.16
/proc/21653/task/21655/stat : 21655 (MiraXTv3_dyn) R 21651 21653 21581 0 -1 4194368 34595 0 0 0 195376 40 0 0 23 0 3 0 347217584 103206912 23783 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526429 0 0 4096 0 0 0 0 -1 1 0 0
[pid=21653/tid=21656] ppid=21651 vsize=100788 CPUtime=1960.4
/proc/21653/task/21656/stat : 21656 (MiraXTv3_dyn) R 21651 21653 21581 0 -1 4194368 37916 0 0 0 196006 34 0 0 25 0 3 0 347217584 103206912 23783 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3914.58
Current children cumulated vsize (KiB) 100788

[startup+2022.3 s]
/proc/loadavg: 2.00 1.99 1.91 3/80 21656
/proc/meminfo: memFree=1678240/2055920 swapFree=4156504/4192956
[pid=21653] ppid=21651 vsize=101172 CPUtime=4034.3
/proc/21653/stat : 21653 (MiraXTv3_dyn) S 21651 21653 21581 0 -1 4194304 74225 0 0 0 403353 77 0 0 18 0 3 0 347217583 103600128 23889 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21653/statm: 25293 23889 218 20 0 24651 0
[pid=21653/tid=21655] ppid=21651 vsize=101172 CPUtime=2013.92
/proc/21653/task/21655/stat : 21655 (MiraXTv3_dyn) R 21651 21653 21581 0 -1 4194368 35288 0 0 0 201351 41 0 0 25 0 3 0 347217584 103600128 23889 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=21653/tid=21656] ppid=21651 vsize=101172 CPUtime=2020.36
/proc/21653/task/21656/stat : 21656 (MiraXTv3_dyn) R 21651 21653 21581 0 -1 4194368 38587 0 0 0 202001 35 0 0 25 0 3 0 347217584 103600128 23889 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526477 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4034.3
Current children cumulated vsize (KiB) 101172

[startup+2082.3 s]
/proc/loadavg: 2.00 1.99 1.91 3/80 21656
/proc/meminfo: memFree=1677920/2055920 swapFree=4156504/4192956
[pid=21653] ppid=21651 vsize=101336 CPUtime=4154.02
/proc/21653/stat : 21653 (MiraXTv3_dyn) S 21651 21653 21581 0 -1 4194304 75710 0 0 0 415324 78 0 0 18 0 3 0 347217583 103768064 23948 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21653/statm: 25334 23948 218 20 0 24692 0
[pid=21653/tid=21655] ppid=21651 vsize=101336 CPUtime=2073.69
/proc/21653/task/21655/stat : 21655 (MiraXTv3_dyn) R 21651 21653 21581 0 -1 4194368 35949 0 0 0 207327 42 0 0 25 0 3 0 347217584 103768064 23948 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526437 0 0 4096 0 0 0 0 -1 1 0 0
[pid=21653/tid=21656] ppid=21651 vsize=101336 CPUtime=2080.31
/proc/21653/task/21656/stat : 21656 (MiraXTv3_dyn) R 21651 21653 21581 0 -1 4194368 39411 0 0 0 207996 35 0 0 25 0 3 0 347217584 103768064 23948 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4154.02
Current children cumulated vsize (KiB) 101336

[startup+2142.3 s]
/proc/loadavg: 2.00 1.99 1.91 3/80 21656
/proc/meminfo: memFree=1675936/2055920 swapFree=4156504/4192956
[pid=21653] ppid=21651 vsize=103540 CPUtime=4273.71
/proc/21653/stat : 21653 (MiraXTv3_dyn) S 21651 21653 21581 0 -1 4194304 77640 0 0 0 427291 80 0 0 18 0 3 0 347217583 106024960 24441 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21653/statm: 25885 24441 218 20 0 25243 0
[pid=21653/tid=21655] ppid=21651 vsize=103540 CPUtime=2133.45
/proc/21653/task/21655/stat : 21655 (MiraXTv3_dyn) R 21651 21653 21581 0 -1 4194368 37217 0 0 0 213301 44 0 0 25 0 3 0 347217584 106024960 24441 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
[pid=21653/tid=21656] ppid=21651 vsize=103540 CPUtime=2140.24
/proc/21653/task/21656/stat : 21656 (MiraXTv3_dyn) R 21651 21653 21581 0 -1 4194368 40073 0 0 0 213989 35 0 0 25 0 3 0 347217584 106024960 24441 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4273.71
Current children cumulated vsize (KiB) 103540

[startup+2202.31 s]
/proc/loadavg: 2.00 1.99 1.91 3/80 21656
/proc/meminfo: memFree=1675680/2055920 swapFree=4156504/4192956
[pid=21653] ppid=21651 vsize=103684 CPUtime=4393.41
/proc/21653/stat : 21653 (MiraXTv3_dyn) S 21651 21653 21581 0 -1 4194304 78986 0 0 0 439259 82 0 0 18 0 3 0 347217583 106172416 24497 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21653/statm: 25921 24497 218 20 0 25279 0
[pid=21653/tid=21655] ppid=21651 vsize=103684 CPUtime=2193.2
/proc/21653/task/21655/stat : 21655 (MiraXTv3_dyn) R 21651 21653 21581 0 -1 4194368 37881 0 0 0 219275 45 0 0 25 0 3 0 347217584 106172416 24497 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=21653/tid=21656] ppid=21651 vsize=103684 CPUtime=2200.18
/proc/21653/task/21656/stat : 21656 (MiraXTv3_dyn) R 21651 21653 21581 0 -1 4194368 40755 0 0 0 219982 36 0 0 25 0 3 0 347217584 106172416 24497 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526477 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4393.41
Current children cumulated vsize (KiB) 103684

[startup+2262.3 s]
/proc/loadavg: 2.00 1.99 1.91 3/80 21656
/proc/meminfo: memFree=1675424/2055920 swapFree=4156504/4192956
[pid=21653] ppid=21651 vsize=104156 CPUtime=4513.1
/proc/21653/stat : 21653 (MiraXTv3_dyn) S 21651 21653 21581 0 -1 4194304 80394 0 0 0 451227 83 0 0 18 0 3 0 347217583 106655744 24607 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21653/statm: 26039 24607 218 20 0 25397 0
[pid=21653/tid=21655] ppid=21651 vsize=104156 CPUtime=2252.96
/proc/21653/task/21655/stat : 21655 (MiraXTv3_dyn) R 21651 21653 21581 0 -1 4194368 38589 0 0 0 225250 46 0 0 25 0 3 0 347217584 106655744 24607 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134520089 0 0 4096 0 0 0 0 -1 1 0 0
[pid=21653/tid=21656] ppid=21651 vsize=104156 CPUtime=2260.13
/proc/21653/task/21656/stat : 21656 (MiraXTv3_dyn) R 21651 21653 21581 0 -1 4194368 41455 0 0 0 225976 37 0 0 25 0 3 0 347217584 106655744 24607 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4513.1
Current children cumulated vsize (KiB) 104156

[startup+2322.3 s]
/proc/loadavg: 2.00 1.99 1.91 3/80 21656
/proc/meminfo: memFree=1675104/2055920 swapFree=4156504/4192956
[pid=21653] ppid=21651 vsize=104156 CPUtime=4632.81
/proc/21653/stat : 21653 (MiraXTv3_dyn) S 21651 21653 21581 0 -1 4194304 81734 0 0 0 463196 85 0 0 18 0 3 0 347217583 106655744 24639 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21653/statm: 26039 24639 218 20 0 25397 0
[pid=21653/tid=21655] ppid=21651 vsize=104156 CPUtime=2312.71
/proc/21653/task/21655/stat : 21655 (MiraXTv3_dyn) R 21651 21653 21581 0 -1 4194368 39267 0 0 0 231225 46 0 0 25 0 3 0 347217584 106655744 24639 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526420 0 0 4096 0 0 0 0 -1 1 0 0
[pid=21653/tid=21656] ppid=21651 vsize=104156 CPUtime=2320.06
/proc/21653/task/21656/stat : 21656 (MiraXTv3_dyn) R 21651 21653 21581 0 -1 4194368 42117 0 0 0 231969 37 0 0 25 0 3 0 347217584 106655744 24639 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4632.81
Current children cumulated vsize (KiB) 104156

[startup+2382.3 s]
/proc/loadavg: 2.00 1.99 1.91 3/80 21658
/proc/meminfo: memFree=1674976/2055920 swapFree=4156504/4192956
[pid=21653] ppid=21651 vsize=104320 CPUtime=4752.52
/proc/21653/stat : 21653 (MiraXTv3_dyn) S 21651 21653 21581 0 -1 4194304 83082 0 0 0 475166 86 0 0 18 0 3 0 347217583 106823680 24671 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21653/statm: 26080 24671 218 20 0 25438 0
[pid=21653/tid=21655] ppid=21651 vsize=104320 CPUtime=2372.48
/proc/21653/task/21655/stat : 21655 (MiraXTv3_dyn) R 21651 21653 21581 0 -1 4194368 39951 0 0 0 237201 47 0 0 25 0 3 0 347217584 106823680 24671 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=21653/tid=21656] ppid=21651 vsize=104320 CPUtime=2380.02
/proc/21653/task/21656/stat : 21656 (MiraXTv3_dyn) R 21651 21653 21581 0 -1 4194368 42781 0 0 0 237964 38 0 0 25 0 3 0 347217584 106823680 24671 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526477 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4752.52
Current children cumulated vsize (KiB) 104320

[startup+2442.3 s]
/proc/loadavg: 2.00 1.99 1.91 3/80 21658
/proc/meminfo: memFree=1674784/2055920 swapFree=4156504/4192956
[pid=21653] ppid=21651 vsize=104320 CPUtime=4872.22
/proc/21653/stat : 21653 (MiraXTv3_dyn) S 21651 21653 21581 0 -1 4194304 84770 0 0 0 487135 87 0 0 18 0 3 0 347217583 106823680 24702 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21653/statm: 26080 24702 218 20 0 25438 0
[pid=21653/tid=21655] ppid=21651 vsize=104320 CPUtime=2432.23
/proc/21653/task/21655/stat : 21655 (MiraXTv3_dyn) R 21651 21653 21581 0 -1 4194368 40789 0 0 0 243175 48 0 0 25 0 3 0 347217584 106823680 24702 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=21653/tid=21656] ppid=21651 vsize=104320 CPUtime=2439.96
/proc/21653/task/21656/stat : 21656 (MiraXTv3_dyn) R 21651 21653 21581 0 -1 4194368 43631 0 0 0 243958 38 0 0 25 0 3 0 347217584 106823680 24702 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4872.22
Current children cumulated vsize (KiB) 104320

[startup+2502.3 s]
/proc/loadavg: 2.00 1.99 1.91 3/80 21658
/proc/meminfo: memFree=1674528/2055920 swapFree=4156504/4192956
[pid=21653] ppid=21651 vsize=104472 CPUtime=4991.92
/proc/21653/stat : 21653 (MiraXTv3_dyn) S 21651 21653 21581 0 -1 4194304 86164 0 0 0 499104 88 0 0 18 0 3 0 347217583 106979328 24762 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21653/statm: 26118 24762 218 20 0 25476 0
[pid=21653/tid=21655] ppid=21651 vsize=104472 CPUtime=2491.99
/proc/21653/task/21655/stat : 21655 (MiraXTv3_dyn) R 21651 21653 21581 0 -1 4194368 41509 0 0 0 249150 49 0 0 25 0 3 0 347217584 106979328 24762 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=21653/tid=21656] ppid=21651 vsize=104472 CPUtime=2499.9
/proc/21653/task/21656/stat : 21656 (MiraXTv3_dyn) R 21651 21653 21581 0 -1 4194368 44305 0 0 0 249952 38 0 0 25 0 3 0 347217584 106979328 24762 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526322 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4991.92
Current children cumulated vsize (KiB) 104472



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2506.4 s]
/proc/loadavg: 2.00 1.99 1.91 3/80 21658
/proc/meminfo: memFree=1674528/2055920 swapFree=4156504/4192956
[pid=21653] ppid=21651 vsize=104472 CPUtime=5000.1
/proc/21653/stat : 21653 (MiraXTv3_dyn) S 21651 21653 21581 0 -1 4194304 86164 0 0 0 499922 88 0 0 18 0 3 0 347217583 106979328 24762 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21653/statm: 26118 24762 218 20 0 25476 0
[pid=21653/tid=21655] ppid=21651 vsize=104472 CPUtime=2496.07
/proc/21653/task/21655/stat : 21655 (MiraXTv3_dyn) R 21651 21653 21581 0 -1 4194368 41509 0 0 0 249558 49 0 0 25 0 3 0 347217584 106979328 24762 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=21653/tid=21656] ppid=21651 vsize=104472 CPUtime=2504.01
/proc/21653/task/21656/stat : 21656 (MiraXTv3_dyn) R 21651 21653 21581 0 -1 4194368 44305 0 0 0 250363 38 0 0 25 0 3 0 347217584 106979328 24762 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134520288 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 5000.1
Current children cumulated vsize (KiB) 104472

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

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

[startup+2506.4 s]
/proc/loadavg: 2.00 1.99 1.91 3/80 21658
/proc/meminfo: memFree=1674528/2055920 swapFree=4156504/4192956
[pid=21653] ppid=21651 vsize=104472 CPUtime=5000.1
/proc/21653/stat : 21653 (MiraXTv3_dyn) S 21651 21653 21581 0 -1 4194304 86164 0 0 0 499922 88 0 0 18 0 3 0 347217583 106979328 24762 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/21653/statm: 26118 24762 218 20 0 25476 0
[pid=21653/tid=21655] ppid=21651 vsize=104472 CPUtime=2496.07
/proc/21653/task/21655/stat : 21655 (MiraXTv3_dyn) R 21651 21653 21581 0 -1 4194368 41509 0 0 0 249558 49 0 0 25 0 3 0 347217584 106979328 24762 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=21653/tid=21656] ppid=21651 vsize=104472 CPUtime=2504.01
/proc/21653/task/21656/stat : 21656 (MiraXTv3_dyn) R 21651 21653 21581 0 -1 4194368 44305 0 0 0 250363 38 0 0 25 0 3 0 347217584 106979328 24762 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134520288 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 5000.1
Current children cumulated vsize (KiB) 104472

Child ended because it received signal 15 (SIGTERM)
Real time (s): 2506.43
CPU time (s): 5000.14
CPU user time (s): 4999.24
CPU system time (s): 0.899863
CPU usage (%): 199.493
Max. virtual memory (cumulated for all children) (KiB): 105140

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4999.24
system time used= 0.899863
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 86164
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= 607
involuntary context switches= 94208

runsolver used 2.40663 second user time and 6.73797 second system time

The end

Launcher Data (download as text)

Begin job on node15 on Sat May 12 18:03:20 UTC 2007

IDJOB= 426162
IDBENCH= 19980
IDSOLVER= 196
FILE ID= node15/426162-1178993000

PBS_JOBID= 5252833

Free space on /tmp= 66548 MiB

SOLVER NAME= MiraXT v3
BENCH NAME= HOME/pub/bench/SAT07/random/OnTreshold/3SAT/v500/unif-k3-r4.26-v500-c2130-S1257199575-18.UNSAT.shuffled.cnf
COMMAND LINE= /tmp/evaluation/426162-1178993000/MiraXTv3_dyn /tmp/evaluation/426162-1178993000/instance-426162-1178993000.cnf
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node15/watcher-426162-1178993000 -o ROOT/results/node15/solver-426162-1178993000 -C 5000 -W 7500 -M 1800 --output-limit 1,15  /tmp/evaluation/426162-1178993000/MiraXTv3_dyn /tmp/evaluation/426162-1178993000/instance-426162-1178993000.cnf

META MD5SUM SOLVER= 2ad149617ed8d249d89b067eb44c33da
MD5SUM BENCH=  5cb12367c8059b22462366f8563a334f

RANDOM SEED= 702655555

TIME LIMIT= 5000 seconds
MEMORY LIMIT= 1800 MiB

Linux node15.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:       1773832 kB
Buffers:         41616 kB
Cached:         174236 kB
SwapCached:      16300 kB
Active:          83096 kB
Inactive:       156604 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1773832 kB
SwapTotal:     4192956 kB
SwapFree:      4156504 kB
Dirty:            4072 kB
Writeback:           0 kB
Mapped:          29688 kB
Slab:            27788 kB
Committed_AS: 10918628 kB
PageTables:       1868 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= 66548 MiB

End job on node15 on Sat May 12 18:45:08 UTC 2007