Trace number 426068

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.1 2506.53

General information on the benchmark

Namerandom/OnTreshold/5SAT/v110/
unif-k5-r21.3-v110-c2343-S1869272420-19.SAT.shuffled.cnf
MD5SUM4c82e15dddaac18e48f58e3db4a1e7b5
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.016996
Satisfiable
(Un)Satisfiability was proved
Number of variables110
Number of clauses2343
Sum of the clauses size11715
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 52343
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/node11/watcher-426068-1178983005 -o ROOT/results/node11/solver-426068-1178983005 -C 5000 -W 7500 -M 1800 --output-limit 1,15 /tmp/evaluation/426068-1178983005/MiraXTv3_dyn /tmp/evaluation/426068-1178983005/instance-426068-1178983005.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.97 1.88 3/77 5101
/proc/meminfo: memFree=1517336/2055920 swapFree=4144152/4192956
[pid=5101] ppid=5099 vsize=3788 CPUtime=0
/proc/5101/stat : 5101 (MiraXTv3_dyn) R 5099 5101 4772 0 -1 4194304 290 0 0 0 0 0 0 0 18 0 1 0 339349470 3878912 265 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 8414843 0 0 4096 0 0 0 0 17 0 0 0
/proc/5101/statm: 947 265 206 20 0 305 0

[startup+0.094682 s]
/proc/loadavg: 1.84 1.97 1.88 3/77 5101
/proc/meminfo: memFree=1517336/2055920 swapFree=4144152/4192956
[pid=5101] ppid=5099 vsize=6768 CPUtime=0.16
/proc/5101/stat : 5101 (MiraXTv3_dyn) S 5099 5101 4772 0 -1 4194304 687 0 0 0 16 0 0 0 18 0 3 0 339349470 6930432 662 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/5101/statm: 1692 663 218 20 0 1050 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 6768

[startup+0.101681 s]
/proc/loadavg: 1.84 1.97 1.88 3/77 5101
/proc/meminfo: memFree=1517336/2055920 swapFree=4144152/4192956
[pid=5101] ppid=5099 vsize=6980 CPUtime=0.18
/proc/5101/stat : 5101 (MiraXTv3_dyn) S 5099 5101 4772 0 -1 4194304 723 0 0 0 18 0 0 0 18 0 3 0 339349470 7147520 698 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/5101/statm: 1745 705 218 20 0 1103 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 6980

[startup+0.301707 s]
/proc/loadavg: 1.84 1.97 1.88 3/77 5101
/proc/meminfo: memFree=1517336/2055920 swapFree=4144152/4192956
[pid=5101] ppid=5099 vsize=8936 CPUtime=0.57
/proc/5101/stat : 5101 (MiraXTv3_dyn) S 5099 5101 4772 0 -1 4194304 1214 0 0 0 57 0 0 0 18 0 3 0 339349470 9150464 1189 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/5101/statm: 2234 1189 218 20 0 1592 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 8936

[startup+0.701758 s]
/proc/loadavg: 1.84 1.97 1.88 3/77 5101
/proc/meminfo: memFree=1517336/2055920 swapFree=4144152/4192956
[pid=5101] ppid=5099 vsize=11620 CPUtime=1.37
/proc/5101/stat : 5101 (MiraXTv3_dyn) S 5099 5101 4772 0 -1 4194304 2000 0 0 0 137 0 0 0 18 0 3 0 339349470 11898880 1975 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/5101/statm: 2905 1975 218 20 0 2263 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 11620

[startup+1.50185 s]
/proc/loadavg: 1.84 1.97 1.88 3/80 5104
/proc/meminfo: memFree=1508480/2055920 swapFree=4144152/4192956
[pid=5101] ppid=5099 vsize=15084 CPUtime=2.97
/proc/5101/stat : 5101 (MiraXTv3_dyn) S 5099 5101 4772 0 -1 4194304 2663 0 0 0 296 1 0 0 18 0 3 0 339349470 15446016 2638 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/5101/statm: 3771 2638 218 20 0 3129 0
[pid=5101/tid=5103] ppid=5099 vsize=15084 CPUtime=1.47
/proc/5101/task/5103/stat : 5103 (MiraXTv3_dyn) R 5099 5101 4772 0 -1 4194368 1187 0 0 0 147 0 0 0 25 0 3 0 339349471 15446016 2638 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526670 0 0 4096 0 0 0 0 -1 0 0 0
[pid=5101/tid=5104] ppid=5099 vsize=15084 CPUtime=1.47
/proc/5101/task/5104/stat : 5104 (MiraXTv3_dyn) R 5099 5101 4772 0 -1 4194368 1122 0 0 0 147 0 0 0 19 0 3 0 339349471 15446016 2638 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 15084

[startup+3.10104 s]
/proc/loadavg: 1.84 1.97 1.88 3/80 5104
/proc/meminfo: memFree=1506560/2055920 swapFree=4144152/4192956
[pid=5101] ppid=5099 vsize=19588 CPUtime=6.16
/proc/5101/stat : 5101 (MiraXTv3_dyn) S 5099 5101 4772 0 -1 4194304 3754 0 0 0 614 2 0 0 18 0 3 0 339349470 20058112 3657 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/5101/statm: 4897 3657 218 20 0 4255 0
[pid=5101/tid=5103] ppid=5099 vsize=19588 CPUtime=3.07
/proc/5101/task/5103/stat : 5103 (MiraXTv3_dyn) R 5099 5101 4772 0 -1 4194368 1682 0 0 0 307 0 0 0 19 0 3 0 339349471 20058112 3657 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526719 0 0 4096 0 0 0 0 -1 0 0 0
[pid=5101/tid=5104] ppid=5099 vsize=19588 CPUtime=3.06
/proc/5101/task/5104/stat : 5104 (MiraXTv3_dyn) R 5099 5101 4772 0 -1 4194368 1718 0 0 0 305 1 0 0 25 0 3 0 339349471 20058112 3657 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526720 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.16
Current children cumulated vsize (KiB) 19588

[startup+6.30242 s]
/proc/loadavg: 1.85 1.97 1.88 3/80 5104
/proc/meminfo: memFree=1496768/2055920 swapFree=4144152/4192956
[pid=5101] ppid=5099 vsize=28324 CPUtime=12.55
/proc/5101/stat : 5101 (MiraXTv3_dyn) S 5099 5101 4772 0 -1 4194304 5974 0 0 0 1251 4 0 0 18 0 3 0 339349470 29003776 5799 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/5101/statm: 7081 5799 218 20 0 6439 0
[pid=5101/tid=5103] ppid=5099 vsize=28324 CPUtime=6.27
/proc/5101/task/5103/stat : 5103 (MiraXTv3_dyn) R 5099 5101 4772 0 -1 4194368 2830 0 0 0 626 1 0 0 21 0 3 0 339349471 29003776 5799 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526302 0 0 4096 0 0 0 0 -1 0 0 0
[pid=5101/tid=5104] ppid=5099 vsize=28324 CPUtime=6.25
/proc/5101/task/5104/stat : 5104 (MiraXTv3_dyn) R 5099 5101 4772 0 -1 4194368 2790 0 0 0 623 2 0 0 18 0 3 0 339349471 29003776 5799 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526341 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 28324

[startup+12.7012 s]
/proc/loadavg: 1.86 1.97 1.88 3/80 5104
/proc/meminfo: memFree=1486216/2055920 swapFree=4144152/4192956
[pid=5101] ppid=5099 vsize=36960 CPUtime=25.31
/proc/5101/stat : 5101 (MiraXTv3_dyn) S 5099 5101 4772 0 -1 4194304 8334 0 0 0 2525 6 0 0 18 0 3 0 339349470 37847040 7851 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/5101/statm: 9240 7851 218 20 0 8598 0
[pid=5101/tid=5103] ppid=5099 vsize=36960 CPUtime=12.66
/proc/5101/task/5103/stat : 5103 (MiraXTv3_dyn) R 5099 5101 4772 0 -1 4194368 4083 0 0 0 1264 2 0 0 25 0 3 0 339349471 37847040 7851 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526702 0 0 4096 0 0 0 0 -1 0 0 0
[pid=5101/tid=5104] ppid=5099 vsize=36960 CPUtime=12.62
/proc/5101/task/5104/stat : 5104 (MiraXTv3_dyn) R 5099 5101 4772 0 -1 4194368 3897 0 0 0 1259 3 0 0 25 0 3 0 339349471 37847040 7851 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.31
Current children cumulated vsize (KiB) 36960

[startup+25.5027 s]
/proc/loadavg: 1.89 1.97 1.88 3/80 5104
/proc/meminfo: memFree=1474568/2055920 swapFree=4144152/4192956
[pid=5101] ppid=5099 vsize=48040 CPUtime=50.84
/proc/5101/stat : 5101 (MiraXTv3_dyn) S 5099 5101 4772 0 -1 4194304 11771 0 0 0 5074 10 0 0 18 0 3 0 339349470 49192960 10788 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/5101/statm: 12010 10788 218 20 0 11368 0
[pid=5101/tid=5103] ppid=5099 vsize=48040 CPUtime=25.45
/proc/5101/task/5103/stat : 5103 (MiraXTv3_dyn) R 5099 5101 4772 0 -1 4194368 5864 0 0 0 2541 4 0 0 22 0 3 0 339349471 49192960 10788 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134565842 0 0 4096 0 0 0 0 -1 0 0 0
[pid=5101/tid=5104] ppid=5099 vsize=48040 CPUtime=25.37
/proc/5101/task/5104/stat : 5104 (MiraXTv3_dyn) R 5099 5101 4772 0 -1 4194368 5553 0 0 0 2531 6 0 0 25 0 3 0 339349471 49192960 10788 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134530014 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.84
Current children cumulated vsize (KiB) 48040

[startup+51.1027 s]
/proc/loadavg: 1.93 1.97 1.88 3/80 5104
/proc/meminfo: memFree=1470920/2055920 swapFree=4144152/4192956
[pid=5101] ppid=5099 vsize=51764 CPUtime=101.9
/proc/5101/stat : 5101 (MiraXTv3_dyn) S 5099 5101 4772 0 -1 4194304 13672 0 0 0 10178 12 0 0 18 0 3 0 339349470 53006336 11652 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/5101/statm: 12941 11652 218 20 0 12299 0
[pid=5101/tid=5103] ppid=5099 vsize=51764 CPUtime=51.03
/proc/5101/task/5103/stat : 5103 (MiraXTv3_dyn) R 5099 5101 4772 0 -1 4194368 6815 0 0 0 5098 5 0 0 25 0 3 0 339349471 53006336 11652 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=5101/tid=5104] ppid=5099 vsize=51764 CPUtime=50.86
/proc/5101/task/5104/stat : 5104 (MiraXTv3_dyn) R 5099 5101 4772 0 -1 4194368 6503 0 0 0 5079 7 0 0 25 0 3 0 339349471 53006336 11652 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526335 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.9
Current children cumulated vsize (KiB) 51764

[startup+102.307 s]
/proc/loadavg: 1.97 1.97 1.89 3/80 5104
/proc/meminfo: memFree=1466696/2055920 swapFree=4144152/4192956
[pid=5101] ppid=5099 vsize=55916 CPUtime=204.04
/proc/5101/stat : 5101 (MiraXTv3_dyn) S 5099 5101 4772 0 -1 4194304 16619 0 0 0 20389 15 0 0 18 0 3 0 339349470 57257984 12759 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/5101/statm: 13979 12759 218 20 0 13337 0
[pid=5101/tid=5103] ppid=5099 vsize=55916 CPUtime=102.19
/proc/5101/task/5103/stat : 5103 (MiraXTv3_dyn) R 5099 5101 4772 0 -1 4194368 8338 0 0 0 10213 6 0 0 25 0 3 0 339349471 57257984 12759 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=5101/tid=5104] ppid=5099 vsize=55916 CPUtime=101.82
/proc/5101/task/5104/stat : 5104 (MiraXTv3_dyn) R 5099 5101 4772 0 -1 4194368 7927 0 0 0 10174 8 0 0 25 0 3 0 339349471 57257984 12759 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 204.04
Current children cumulated vsize (KiB) 55916

[startup+162.303 s]
/proc/loadavg: 1.99 1.97 1.89 3/80 5104
/proc/meminfo: memFree=1464264/2055920 swapFree=4144152/4192956
[pid=5101] ppid=5099 vsize=57864 CPUtime=323.7
/proc/5101/stat : 5101 (MiraXTv3_dyn) S 5099 5101 4772 0 -1 4194304 19168 0 0 0 32353 17 0 0 18 0 3 0 339349470 59252736 13307 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/5101/statm: 14466 13307 218 20 0 13824 0
[pid=5101/tid=5103] ppid=5099 vsize=57864 CPUtime=162.11
/proc/5101/task/5103/stat : 5103 (MiraXTv3_dyn) R 5099 5101 4772 0 -1 4194368 9684 0 0 0 16204 7 0 0 25 0 3 0 339349471 59252736 13307 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526712 0 0 4096 0 0 0 0 -1 0 0 0
[pid=5101/tid=5104] ppid=5099 vsize=57864 CPUtime=161.57
/proc/5101/task/5104/stat : 5104 (MiraXTv3_dyn) R 5099 5101 4772 0 -1 4194368 9130 0 0 0 16147 10 0 0 25 0 3 0 339349471 59252736 13307 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 323.7
Current children cumulated vsize (KiB) 57864

[startup+222.303 s]
/proc/loadavg: 1.99 1.97 1.90 3/80 5104
/proc/meminfo: memFree=1461256/2055920 swapFree=4144152/4192956
[pid=5101] ppid=5099 vsize=61816 CPUtime=443.36
/proc/5101/stat : 5101 (MiraXTv3_dyn) S 5099 5101 4772 0 -1 4194304 21907 0 0 0 44316 20 0 0 18 0 3 0 339349470 63299584 14046 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/5101/statm: 15454 14046 218 20 0 14812 0
[pid=5101/tid=5103] ppid=5099 vsize=61816 CPUtime=222.03
/proc/5101/task/5103/stat : 5103 (MiraXTv3_dyn) R 5099 5101 4772 0 -1 4194368 10960 0 0 0 22195 8 0 0 25 0 3 0 339349471 63299584 14046 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=5101/tid=5104] ppid=5099 vsize=61816 CPUtime=221.3
/proc/5101/task/5104/stat : 5104 (MiraXTv3_dyn) R 5099 5101 4772 0 -1 4194368 10593 0 0 0 22119 11 0 0 25 0 3 0 339349471 63299584 14046 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526477 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 443.36
Current children cumulated vsize (KiB) 61816

[startup+282.302 s]
/proc/loadavg: 1.99 1.97 1.91 3/80 5104
/proc/meminfo: memFree=1458952/2055920 swapFree=4144152/4192956
[pid=5101] ppid=5099 vsize=63952 CPUtime=563.04
/proc/5101/stat : 5101 (MiraXTv3_dyn) S 5099 5101 4772 0 -1 4194304 24476 0 0 0 56282 22 0 0 18 0 3 0 339349470 65486848 14636 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/5101/statm: 15988 14636 218 20 0 15346 0
[pid=5101/tid=5103] ppid=5099 vsize=63952 CPUtime=281.97
/proc/5101/task/5103/stat : 5103 (MiraXTv3_dyn) R 5099 5101 4772 0 -1 4194368 12153 0 0 0 28188 9 0 0 25 0 3 0 339349471 65486848 14636 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=5101/tid=5104] ppid=5099 vsize=63952 CPUtime=281.05
/proc/5101/task/5104/stat : 5104 (MiraXTv3_dyn) R 5099 5101 4772 0 -1 4194368 11969 0 0 0 28092 13 0 0 25 0 3 0 339349471 65486848 14636 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526291 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 563.04
Current children cumulated vsize (KiB) 63952

[startup+342.301 s]
/proc/loadavg: 1.99 1.97 1.91 3/80 5104
/proc/meminfo: memFree=1456968/2055920 swapFree=4144152/4192956
[pid=5101] ppid=5099 vsize=65740 CPUtime=682.74
/proc/5101/stat : 5101 (MiraXTv3_dyn) S 5099 5101 4772 0 -1 4194304 26760 0 0 0 68250 24 0 0 18 0 3 0 339349470 67317760 15147 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/5101/statm: 16435 15147 218 20 0 15793 0
[pid=5101/tid=5103] ppid=5099 vsize=65740 CPUtime=341.91
/proc/5101/task/5103/stat : 5103 (MiraXTv3_dyn) R 5099 5101 4772 0 -1 4194368 13271 0 0 0 34181 10 0 0 25 0 3 0 339349471 67317760 15147 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526702 0 0 4096 0 0 0 0 -1 0 0 0
[pid=5101/tid=5104] ppid=5099 vsize=65740 CPUtime=340.81
/proc/5101/task/5104/stat : 5104 (MiraXTv3_dyn) R 5099 5101 4772 0 -1 4194368 13135 0 0 0 34067 14 0 0 25 0 3 0 339349471 67317760 15147 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 682.74
Current children cumulated vsize (KiB) 65740

[startup+402.301 s]

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

/proc/5101/task/5103/stat : 5103 (MiraXTv3_dyn) R 5099 5101 4772 0 -1 4194368 36936 0 0 0 189700 32 0 0 25 0 3 0 339349471 87543808 19873 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=5101/tid=5104] ppid=5099 vsize=85492 CPUtime=1897.46
/proc/5101/task/5104/stat : 5104 (MiraXTv3_dyn) R 5099 5101 4772 0 -1 4194368 36298 0 0 0 189714 32 0 0 25 0 3 0 339349471 87543808 19873 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526312 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3794.79
Current children cumulated vsize (KiB) 85492

[startup+1962.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/80 5106
/proc/meminfo: memFree=1437384/2055920 swapFree=4144152/4192956
[pid=5101] ppid=5099 vsize=86704 CPUtime=3914.51
/proc/5101/stat : 5101 (MiraXTv3_dyn) S 5099 5101 4772 0 -1 4194304 75149 0 0 0 391385 66 0 0 18 0 3 0 339349470 88784896 20004 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/5101/statm: 21676 20004 218 20 0 21034 0
[pid=5101/tid=5103] ppid=5099 vsize=86704 CPUtime=1957.26
/proc/5101/task/5103/stat : 5103 (MiraXTv3_dyn) R 5099 5101 4772 0 -1 4194368 37774 0 0 0 195694 32 0 0 25 0 3 0 339349471 88784896 20004 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=5101/tid=5104] ppid=5099 vsize=86704 CPUtime=1957.22
/proc/5101/task/5104/stat : 5104 (MiraXTv3_dyn) R 5099 5101 4772 0 -1 4194368 37021 0 0 0 195689 33 0 0 25 0 3 0 339349471 88784896 20004 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526470 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3914.51
Current children cumulated vsize (KiB) 86704

[startup+2022.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/80 5106
/proc/meminfo: memFree=1437128/2055920 swapFree=4144152/4192956
[pid=5101] ppid=5099 vsize=86840 CPUtime=4034.19
/proc/5101/stat : 5101 (MiraXTv3_dyn) S 5099 5101 4772 0 -1 4194304 76669 0 0 0 403352 67 0 0 18 0 3 0 339349470 88924160 20085 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/5101/statm: 21710 20085 218 20 0 21068 0
[pid=5101/tid=5103] ppid=5099 vsize=86840 CPUtime=2017.2
/proc/5101/task/5103/stat : 5103 (MiraXTv3_dyn) R 5099 5101 4772 0 -1 4194368 38567 0 0 0 201687 33 0 0 25 0 3 0 339349471 88924160 20085 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134530005 0 0 4096 0 0 0 0 -1 0 0 0
[pid=5101/tid=5104] ppid=5099 vsize=86840 CPUtime=2016.97
/proc/5101/task/5104/stat : 5104 (MiraXTv3_dyn) R 5099 5101 4772 0 -1 4194368 37748 0 0 0 201663 34 0 0 25 0 3 0 339349471 88924160 20085 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526702 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4034.19
Current children cumulated vsize (KiB) 86840

[startup+2082.31 s]
/proc/loadavg: 2.00 2.00 1.92 3/80 5106
/proc/meminfo: memFree=1436872/2055920 swapFree=4144152/4192956
[pid=5101] ppid=5099 vsize=86840 CPUtime=4153.9
/proc/5101/stat : 5101 (MiraXTv3_dyn) S 5099 5101 4772 0 -1 4194304 78371 0 0 0 415321 69 0 0 18 0 3 0 339349470 88924160 20120 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/5101/statm: 21710 20120 218 20 0 21068 0
[pid=5101/tid=5103] ppid=5099 vsize=86840 CPUtime=2077.15
/proc/5101/task/5103/stat : 5103 (MiraXTv3_dyn) R 5099 5101 4772 0 -1 4194368 39486 0 0 0 207682 33 0 0 25 0 3 0 339349471 88924160 20120 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=5101/tid=5104] ppid=5099 vsize=86840 CPUtime=2076.72
/proc/5101/task/5104/stat : 5104 (MiraXTv3_dyn) R 5099 5101 4772 0 -1 4194368 38531 0 0 0 207637 35 0 0 25 0 3 0 339349471 88924160 20120 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4153.9
Current children cumulated vsize (KiB) 86840

[startup+2142.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/80 5106
/proc/meminfo: memFree=1436680/2055920 swapFree=4144152/4192956
[pid=5101] ppid=5099 vsize=87060 CPUtime=4273.57
/proc/5101/stat : 5101 (MiraXTv3_dyn) S 5099 5101 4772 0 -1 4194304 79989 0 0 0 427287 70 0 0 18 0 3 0 339349470 89149440 20170 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/5101/statm: 21765 20170 218 20 0 21123 0
[pid=5101/tid=5103] ppid=5099 vsize=87060 CPUtime=2137.08
/proc/5101/task/5103/stat : 5103 (MiraXTv3_dyn) R 5099 5101 4772 0 -1 4194368 40299 0 0 0 213675 33 0 0 25 0 3 0 339349471 89149440 20170 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526335 0 0 4096 0 0 0 0 -1 0 0 0
[pid=5101/tid=5104] ppid=5099 vsize=87060 CPUtime=2136.46
/proc/5101/task/5104/stat : 5104 (MiraXTv3_dyn) R 5099 5101 4772 0 -1 4194368 39336 0 0 0 213610 36 0 0 25 0 3 0 339349471 89149440 20170 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526489 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4273.57
Current children cumulated vsize (KiB) 87060

[startup+2202.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/80 5106
/proc/meminfo: memFree=1436488/2055920 swapFree=4144152/4192956
[pid=5101] ppid=5099 vsize=87224 CPUtime=4393.25
/proc/5101/stat : 5101 (MiraXTv3_dyn) S 5099 5101 4772 0 -1 4194304 81631 0 0 0 439254 71 0 0 18 0 3 0 339349470 89317376 20233 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/5101/statm: 21806 20233 218 20 0 21164 0
[pid=5101/tid=5103] ppid=5099 vsize=87224 CPUtime=2197.01
/proc/5101/task/5103/stat : 5103 (MiraXTv3_dyn) R 5099 5101 4772 0 -1 4194368 41127 0 0 0 219667 34 0 0 25 0 3 0 339349471 89317376 20233 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
[pid=5101/tid=5104] ppid=5099 vsize=87224 CPUtime=2196.21
/proc/5101/task/5104/stat : 5104 (MiraXTv3_dyn) R 5099 5101 4772 0 -1 4194368 40150 0 0 0 219585 36 0 0 25 0 3 0 339349471 89317376 20233 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526702 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4393.25
Current children cumulated vsize (KiB) 87224

[startup+2262.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/80 5106
/proc/meminfo: memFree=1436360/2055920 swapFree=4144152/4192956
[pid=5101] ppid=5099 vsize=87224 CPUtime=4512.94
/proc/5101/stat : 5101 (MiraXTv3_dyn) S 5099 5101 4772 0 -1 4194304 83157 0 0 0 451222 72 0 0 18 0 3 0 339349470 89317376 20288 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/5101/statm: 21806 20288 218 20 0 21164 0
[pid=5101/tid=5103] ppid=5099 vsize=87224 CPUtime=2256.75
/proc/5101/task/5103/stat : 5103 (MiraXTv3_dyn) R 5099 5101 4772 0 -1 4194368 41928 0 0 0 225640 35 0 0 25 0 3 0 339349471 89317376 20288 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526364 0 0 4096 0 0 0 0 -1 0 0 0
[pid=5101/tid=5104] ppid=5099 vsize=87224 CPUtime=2256.17
/proc/5101/task/5104/stat : 5104 (MiraXTv3_dyn) R 5099 5101 4772 0 -1 4194368 40875 0 0 0 225580 37 0 0 25 0 3 0 339349471 89317376 20288 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526335 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4512.94
Current children cumulated vsize (KiB) 87224

[startup+2322.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/80 5106
/proc/meminfo: memFree=1433928/2055920 swapFree=4144152/4192956
[pid=5101] ppid=5099 vsize=89536 CPUtime=4632.61
/proc/5101/stat : 5101 (MiraXTv3_dyn) S 5099 5101 4772 0 -1 4194304 85346 0 0 0 463186 75 0 0 18 0 3 0 339349470 91684864 20881 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/5101/statm: 22384 20881 218 20 0 21742 0
[pid=5101/tid=5103] ppid=5099 vsize=89536 CPUtime=2316.45
/proc/5101/task/5103/stat : 5103 (MiraXTv3_dyn) R 5099 5101 4772 0 -1 4194368 43297 0 0 0 231608 37 0 0 25 0 3 0 339349471 91684864 20881 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526486 0 0 4096 0 0 0 0 -1 0 0 0
[pid=5101/tid=5104] ppid=5099 vsize=89536 CPUtime=2316.14
/proc/5101/task/5104/stat : 5104 (MiraXTv3_dyn) R 5099 5101 4772 0 -1 4194368 41695 0 0 0 231576 38 0 0 25 0 3 0 339349471 91684864 20881 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526312 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4632.61
Current children cumulated vsize (KiB) 89536

[startup+2382.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/80 5106
/proc/meminfo: memFree=1433352/2055920 swapFree=4144152/4192956
[pid=5101] ppid=5099 vsize=90560 CPUtime=4752.3
/proc/5101/stat : 5101 (MiraXTv3_dyn) S 5099 5101 4772 0 -1 4194304 87070 0 0 0 475153 77 0 0 18 0 3 0 339349470 92733440 21004 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/5101/statm: 22640 21004 218 20 0 21998 0
[pid=5101/tid=5103] ppid=5099 vsize=90560 CPUtime=2376.15
/proc/5101/task/5103/stat : 5103 (MiraXTv3_dyn) R 5099 5101 4772 0 -1 4194368 44104 0 0 0 237578 37 0 0 25 0 3 0 339349471 92733440 21004 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526702 0 0 4096 0 0 0 0 -1 0 0 0
[pid=5101/tid=5104] ppid=5099 vsize=90560 CPUtime=2376.11
/proc/5101/task/5104/stat : 5104 (MiraXTv3_dyn) R 5099 5101 4772 0 -1 4194368 42612 0 0 0 237572 39 0 0 25 0 3 0 339349471 92733440 21004 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526477 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4752.3
Current children cumulated vsize (KiB) 90560

[startup+2442.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/80 5106
/proc/meminfo: memFree=1432968/2055920 swapFree=4144152/4192956
[pid=5101] ppid=5099 vsize=90768 CPUtime=4871.98
/proc/5101/stat : 5101 (MiraXTv3_dyn) S 5099 5101 4772 0 -1 4194304 88522 0 0 0 487120 78 0 0 18 0 3 0 339349470 92946432 21076 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/5101/statm: 22692 21076 218 20 0 22050 0
[pid=5101/tid=5103] ppid=5099 vsize=90768 CPUtime=2435.88
/proc/5101/task/5103/stat : 5103 (MiraXTv3_dyn) R 5099 5101 4772 0 -1 4194368 44844 0 0 0 243551 37 0 0 25 0 3 0 339349471 92946432 21076 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=5101/tid=5104] ppid=5099 vsize=90768 CPUtime=2436.08
/proc/5101/task/5104/stat : 5104 (MiraXTv3_dyn) R 5099 5101 4772 0 -1 4194368 43324 0 0 0 243568 40 0 0 25 0 3 0 339349471 92946432 21076 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526312 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4871.98
Current children cumulated vsize (KiB) 90768

[startup+2502.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/80 5106
/proc/meminfo: memFree=1432776/2055920 swapFree=4144152/4192956
[pid=5101] ppid=5099 vsize=90768 CPUtime=4991.68
/proc/5101/stat : 5101 (MiraXTv3_dyn) S 5099 5101 4772 0 -1 4194304 89964 0 0 0 499089 79 0 0 18 0 3 0 339349470 92946432 21134 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/5101/statm: 22692 21134 218 20 0 22050 0
[pid=5101/tid=5103] ppid=5099 vsize=90768 CPUtime=2495.61
/proc/5101/task/5103/stat : 5103 (MiraXTv3_dyn) R 5099 5101 4772 0 -1 4194368 45563 0 0 0 249523 38 0 0 25 0 3 0 339349471 92946432 21134 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134530005 0 0 4096 0 0 0 0 -1 0 0 0
[pid=5101/tid=5104] ppid=5099 vsize=90768 CPUtime=2496.05
/proc/5101/task/5104/stat : 5104 (MiraXTv3_dyn) R 5099 5101 4772 0 -1 4194368 44047 0 0 0 249564 41 0 0 25 0 3 0 339349471 92946432 21134 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4991.68
Current children cumulated vsize (KiB) 90768



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2506.5 s]
/proc/loadavg: 2.00 2.00 1.92 3/80 5106
/proc/meminfo: memFree=1432776/2055920 swapFree=4144152/4192956
[pid=5101] ppid=5099 vsize=90768 CPUtime=5000.06
/proc/5101/stat : 5101 (MiraXTv3_dyn) S 5099 5101 4772 0 -1 4194304 90197 0 0 0 499927 79 0 0 18 0 3 0 339349470 92946432 21135 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/5101/statm: 22692 21135 218 20 0 22050 0
[pid=5101/tid=5103] ppid=5099 vsize=90768 CPUtime=2499.79
/proc/5101/task/5103/stat : 5103 (MiraXTv3_dyn) R 5099 5101 4772 0 -1 4194368 45679 0 0 0 249941 38 0 0 25 0 3 0 339349471 92946432 21135 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526477 0 0 4096 0 0 0 0 -1 0 0 0
[pid=5101/tid=5104] ppid=5099 vsize=90768 CPUtime=2500.25
/proc/5101/task/5104/stat : 5104 (MiraXTv3_dyn) R 5099 5101 4772 0 -1 4194368 44164 0 0 0 249984 41 0 0 25 0 3 0 339349471 92946432 21135 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 5000.06
Current children cumulated vsize (KiB) 90768

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

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

[startup+2506.5 s]
/proc/loadavg: 2.00 2.00 1.92 3/80 5106
/proc/meminfo: memFree=1432776/2055920 swapFree=4144152/4192956
[pid=5101] ppid=5099 vsize=90768 CPUtime=5000.06
/proc/5101/stat : 5101 (MiraXTv3_dyn) S 5099 5101 4772 0 -1 4194304 90197 0 0 0 499927 79 0 0 18 0 3 0 339349470 92946432 21135 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/5101/statm: 22692 21135 218 20 0 22050 0
[pid=5101/tid=5103] ppid=5099 vsize=90768 CPUtime=2499.79
/proc/5101/task/5103/stat : 5103 (MiraXTv3_dyn) R 5099 5101 4772 0 -1 4194368 45679 0 0 0 249941 38 0 0 25 0 3 0 339349471 92946432 21135 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526477 0 0 4096 0 0 0 0 -1 0 0 0
[pid=5101/tid=5104] ppid=5099 vsize=90768 CPUtime=2500.25
/proc/5101/task/5104/stat : 5104 (MiraXTv3_dyn) R 5099 5101 4772 0 -1 4194368 44164 0 0 0 249984 41 0 0 25 0 3 0 339349471 92946432 21135 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 5000.06
Current children cumulated vsize (KiB) 90768

Child ended because it received signal 15 (SIGTERM)
Real time (s): 2506.53
CPU time (s): 5000.1
CPU user time (s): 4999.29
CPU system time (s): 0.808877
CPU usage (%): 199.483
Max. virtual memory (cumulated for all children) (KiB): 90768

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4999.29
system time used= 0.808877
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 90197
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= 594
involuntary context switches= 93714

runsolver used 2.42963 second user time and 6.71698 second system time

The end

Launcher Data (download as text)

Begin job on node11 on Sat May 12 15:16:45 UTC 2007

IDJOB= 426068
IDBENCH= 19867
IDSOLVER= 196
FILE ID= node11/426068-1178983005

PBS_JOBID= 5252807

Free space on /tmp= 66556 MiB

SOLVER NAME= MiraXT v3
BENCH NAME= HOME/pub/bench/SAT07/random/OnTreshold/5SAT/v110/unif-k5-r21.3-v110-c2343-S1869272420-19.SAT.shuffled.cnf
COMMAND LINE= /tmp/evaluation/426068-1178983005/MiraXTv3_dyn /tmp/evaluation/426068-1178983005/instance-426068-1178983005.cnf
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node11/watcher-426068-1178983005 -o ROOT/results/node11/solver-426068-1178983005 -C 5000 -W 7500 -M 1800 --output-limit 1,15  /tmp/evaluation/426068-1178983005/MiraXTv3_dyn /tmp/evaluation/426068-1178983005/instance-426068-1178983005.cnf

META MD5SUM SOLVER= 2ad149617ed8d249d89b067eb44c33da
MD5SUM BENCH=  4c82e15dddaac18e48f58e3db4a1e7b5

RANDOM SEED= 596055846

TIME LIMIT= 5000 seconds
MEMORY LIMIT= 1800 MiB

Linux node11.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.235
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.235
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:       1517624 kB
Buffers:         52852 kB
Cached:         394844 kB
SwapCached:      18444 kB
Active:         164268 kB
Inactive:       308228 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1517624 kB
SwapTotal:     4192956 kB
SwapFree:      4144152 kB
Dirty:            3972 kB
Writeback:           0 kB
Mapped:          30188 kB
Slab:            51220 kB
Committed_AS:  7734652 kB
PageTables:       1848 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= 66556 MiB

End job on node11 on Sat May 12 15:58:34 UTC 2007