Trace number 426053

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.07 2506.63

General information on the benchmark

Namerandom/OnTreshold/5SAT/v100/
unif-k5-r21.3-v100-c2130-S804631280-01.SAT.shuffled.cnf
MD5SUMc3a60c73a856b19b59d723c0a3c76b1b
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.107982
Satisfiable
(Un)Satisfiability was proved
Number of variables100
Number of clauses2130
Sum of the clauses size10650
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 52130
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/node17/watcher-426053-1178981028 -o ROOT/results/node17/solver-426053-1178981028 -C 5000 -W 7500 -M 1800 --output-limit 1,15 /tmp/evaluation/426053-1178981028/MiraXTv3_dyn /tmp/evaluation/426053-1178981028/instance-426053-1178981028.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.69 1.93 1.89 3/77 24661
/proc/meminfo: memFree=1631088/2055920 swapFree=4140644/4192956
[pid=24661] ppid=24659 vsize=3788 CPUtime=0
/proc/24661/stat : 24661 (MiraXTv3_dyn) R 24659 24661 24589 0 -1 4194304 288 0 0 0 0 0 0 0 18 0 1 0 346020293 3878912 263 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 3294843 0 0 4096 0 0 0 0 17 0 0 0
/proc/24661/statm: 947 263 206 20 0 305 0

[startup+0.073164 s]
/proc/loadavg: 1.69 1.93 1.89 3/77 24661
/proc/meminfo: memFree=1631088/2055920 swapFree=4140644/4192956
[pid=24661] ppid=24659 vsize=7036 CPUtime=0.12
/proc/24661/stat : 24661 (MiraXTv3_dyn) S 24659 24661 24589 0 -1 4194304 625 0 0 0 12 0 0 0 18 0 3 0 346020293 7204864 600 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/24661/statm: 1759 600 218 20 0 1117 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 7036

[startup+0.104174 s]
/proc/loadavg: 1.69 1.93 1.89 3/77 24661
/proc/meminfo: memFree=1631088/2055920 swapFree=4140644/4192956
[pid=24661] ppid=24659 vsize=7268 CPUtime=0.18
/proc/24661/stat : 24661 (MiraXTv3_dyn) S 24659 24661 24589 0 -1 4194304 716 0 0 0 18 0 0 0 18 0 3 0 346020293 7442432 692 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/24661/statm: 1817 726 218 20 0 1175 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 7268

[startup+0.301075 s]
/proc/loadavg: 1.69 1.93 1.89 3/77 24661
/proc/meminfo: memFree=1631088/2055920 swapFree=4140644/4192956
[pid=24661] ppid=24659 vsize=9228 CPUtime=0.57
/proc/24661/stat : 24661 (MiraXTv3_dyn) S 24659 24661 24589 0 -1 4194304 1201 0 0 0 57 0 0 0 18 0 3 0 346020293 9449472 1176 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/24661/statm: 2307 1176 218 20 0 1665 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 9228

[startup+0.701119 s]
/proc/loadavg: 1.69 1.93 1.89 3/77 24661
/proc/meminfo: memFree=1631088/2055920 swapFree=4140644/4192956
[pid=24661] ppid=24659 vsize=11812 CPUtime=1.37
/proc/24661/stat : 24661 (MiraXTv3_dyn) S 24659 24661 24589 0 -1 4194304 1925 0 0 0 137 0 0 0 18 0 3 0 346020293 12095488 1900 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/24661/statm: 2953 1900 218 20 0 2311 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 11812

[startup+1.5012 s]
/proc/loadavg: 1.69 1.93 1.89 3/80 24664
/proc/meminfo: memFree=1622552/2055920 swapFree=4140644/4192956
[pid=24661] ppid=24659 vsize=15244 CPUtime=2.97
/proc/24661/stat : 24661 (MiraXTv3_dyn) S 24659 24661 24589 0 -1 4194304 2529 0 0 0 296 1 0 0 18 0 3 0 346020293 15609856 2504 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/24661/statm: 3811 2504 218 20 0 3169 0
[pid=24661/tid=24663] ppid=24659 vsize=15244 CPUtime=1.47
/proc/24661/task/24663/stat : 24663 (MiraXTv3_dyn) R 24659 24661 24589 0 -1 4194368 1000 0 0 0 147 0 0 0 23 0 3 0 346020295 15609856 2504 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526417 0 0 4096 0 0 0 0 -1 0 0 0
[pid=24661/tid=24664] ppid=24659 vsize=15244 CPUtime=1.47
/proc/24661/task/24664/stat : 24664 (MiraXTv3_dyn) R 24659 24661 24589 0 -1 4194368 1181 0 0 0 147 0 0 0 19 0 3 0 346020295 15609856 2504 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) 15244

[startup+3.10137 s]
/proc/loadavg: 1.69 1.93 1.89 3/80 24664
/proc/meminfo: memFree=1620440/2055920 swapFree=4140644/4192956
[pid=24661] ppid=24659 vsize=18992 CPUtime=6.15
/proc/24661/stat : 24661 (MiraXTv3_dyn) S 24659 24661 24589 0 -1 4194304 3571 0 0 0 614 1 0 0 18 0 3 0 346020293 19447808 3474 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/24661/statm: 4748 3474 218 20 0 4106 0
[pid=24661/tid=24663] ppid=24659 vsize=18992 CPUtime=3.06
/proc/24661/task/24663/stat : 24663 (MiraXTv3_dyn) R 24659 24661 24589 0 -1 4194368 1344 0 0 0 306 0 0 0 24 0 3 0 346020295 19447808 3474 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526477 0 0 4096 0 0 0 0 -1 0 0 0
[pid=24661/tid=24664] ppid=24659 vsize=18992 CPUtime=3.07
/proc/24661/task/24664/stat : 24664 (MiraXTv3_dyn) R 24659 24661 24589 0 -1 4194368 1879 0 0 0 306 1 0 0 20 0 3 0 346020295 19447808 3474 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.15
Current children cumulated vsize (KiB) 18992

[startup+6.30171 s]
/proc/loadavg: 1.72 1.93 1.89 3/80 24664
/proc/meminfo: memFree=1611608/2055920 swapFree=4140644/4192956
[pid=24661] ppid=24659 vsize=26200 CPUtime=12.55
/proc/24661/stat : 24661 (MiraXTv3_dyn) S 24659 24661 24589 0 -1 4194304 5688 0 0 0 1252 3 0 0 18 0 3 0 346020293 26828800 5513 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/24661/statm: 6550 5513 218 20 0 5908 0
[pid=24661/tid=24663] ppid=24659 vsize=26200 CPUtime=6.26
/proc/24661/task/24663/stat : 24663 (MiraXTv3_dyn) R 24659 24661 24589 0 -1 4194368 2364 0 0 0 625 1 0 0 25 0 3 0 346020295 26828800 5513 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134520299 0 0 4096 0 0 0 0 -1 0 0 0
[pid=24661/tid=24664] ppid=24659 vsize=26200 CPUtime=6.26
/proc/24661/task/24664/stat : 24664 (MiraXTv3_dyn) R 24659 24661 24589 0 -1 4194368 2976 0 0 0 625 1 0 0 25 0 3 0 346020295 26828800 5513 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 26200

[startup+12.7014 s]
/proc/loadavg: 1.74 1.94 1.89 3/80 24664
/proc/meminfo: memFree=1602648/2055920 swapFree=4140644/4192956
[pid=24661] ppid=24659 vsize=33624 CPUtime=25.3
/proc/24661/stat : 24661 (MiraXTv3_dyn) S 24659 24661 24589 0 -1 4194304 7619 0 0 0 2526 4 0 0 18 0 3 0 346020293 34430976 7136 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/24661/statm: 8406 7136 218 20 0 7764 0
[pid=24661/tid=24663] ppid=24659 vsize=33624 CPUtime=12.62
/proc/24661/task/24663/stat : 24663 (MiraXTv3_dyn) R 24659 24661 24589 0 -1 4194368 3331 0 0 0 1260 2 0 0 22 0 3 0 346020295 34430976 7136 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526351 0 0 4096 0 0 0 0 -1 0 0 0
[pid=24661/tid=24664] ppid=24659 vsize=33624 CPUtime=12.66
/proc/24661/task/24664/stat : 24664 (MiraXTv3_dyn) R 24659 24661 24589 0 -1 4194368 3940 0 0 0 1264 2 0 0 22 0 3 0 346020295 34430976 7136 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134565842 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.3
Current children cumulated vsize (KiB) 33624

[startup+25.5027 s]
/proc/loadavg: 1.80 1.94 1.89 3/80 24664
/proc/meminfo: memFree=1594456/2055920 swapFree=4140644/4192956
[pid=24661] ppid=24659 vsize=41464 CPUtime=50.84
/proc/24661/stat : 24661 (MiraXTv3_dyn) S 24659 24661 24589 0 -1 4194304 10197 0 0 0 5077 7 0 0 18 0 3 0 346020293 42459136 9212 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/24661/statm: 10366 9212 218 20 0 9724 0
[pid=24661/tid=24663] ppid=24659 vsize=41464 CPUtime=25.36
/proc/24661/task/24663/stat : 24663 (MiraXTv3_dyn) R 24659 24661 24589 0 -1 4194368 4679 0 0 0 2534 2 0 0 25 0 3 0 346020295 42459136 9212 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526443 0 0 4096 0 0 0 0 -1 0 0 0
[pid=24661/tid=24664] ppid=24659 vsize=41464 CPUtime=25.46
/proc/24661/task/24664/stat : 24664 (MiraXTv3_dyn) R 24659 24661 24589 0 -1 4194368 5170 0 0 0 2542 4 0 0 25 0 3 0 346020295 42459136 9212 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526463 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.84
Current children cumulated vsize (KiB) 41464

[startup+51.1024 s]
/proc/loadavg: 1.87 1.94 1.89 3/80 24664
/proc/meminfo: memFree=1590424/2055920 swapFree=4140644/4192956
[pid=24661] ppid=24659 vsize=45616 CPUtime=101.9
/proc/24661/stat : 24661 (MiraXTv3_dyn) S 24659 24661 24589 0 -1 4194304 12144 0 0 0 10181 9 0 0 18 0 3 0 346020293 46710784 10257 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/24661/statm: 11404 10257 218 20 0 10762 0
[pid=24661/tid=24663] ppid=24659 vsize=45616 CPUtime=50.84
/proc/24661/task/24663/stat : 24663 (MiraXTv3_dyn) R 24659 24661 24589 0 -1 4194368 5759 0 0 0 5080 4 0 0 25 0 3 0 346020295 46710784 10257 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526356 0 0 4096 0 0 0 0 -1 0 0 0
[pid=24661/tid=24664] ppid=24659 vsize=45616 CPUtime=51.03
/proc/24661/task/24664/stat : 24664 (MiraXTv3_dyn) R 24659 24661 24589 0 -1 4194368 6037 0 0 0 5099 4 0 0 25 0 3 0 346020295 46710784 10257 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134530101 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.9
Current children cumulated vsize (KiB) 45616

[startup+102.307 s]
/proc/loadavg: 1.94 1.95 1.90 3/80 24664
/proc/meminfo: memFree=1584408/2055920 swapFree=4140644/4192956
[pid=24661] ppid=24659 vsize=51884 CPUtime=204.05
/proc/24661/stat : 24661 (MiraXTv3_dyn) S 24659 24661 24589 0 -1 4194304 15467 0 0 0 20394 11 0 0 18 0 3 0 346020293 53129216 11728 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/24661/statm: 12971 11728 218 20 0 12329 0
[pid=24661/tid=24663] ppid=24659 vsize=51884 CPUtime=101.8
/proc/24661/task/24663/stat : 24663 (MiraXTv3_dyn) R 24659 24661 24589 0 -1 4194368 7207 0 0 0 10176 4 0 0 25 0 3 0 346020295 53129216 11728 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
[pid=24661/tid=24664] ppid=24659 vsize=51884 CPUtime=102.22
/proc/24661/task/24664/stat : 24664 (MiraXTv3_dyn) R 24659 24661 24589 0 -1 4194368 7912 0 0 0 10216 6 0 0 25 0 3 0 346020295 53129216 11728 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 204.05
Current children cumulated vsize (KiB) 51884

[startup+162.302 s]
/proc/loadavg: 1.98 1.95 1.90 3/80 24664
/proc/meminfo: memFree=1580696/2055920 swapFree=4140644/4192956
[pid=24661] ppid=24659 vsize=56412 CPUtime=323.74
/proc/24661/stat : 24661 (MiraXTv3_dyn) S 24659 24661 24589 0 -1 4194304 18244 0 0 0 32360 14 0 0 18 0 3 0 346020293 57765888 12640 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/24661/statm: 14103 12640 218 20 0 13461 0
[pid=24661/tid=24663] ppid=24659 vsize=56412 CPUtime=161.53
/proc/24661/task/24663/stat : 24663 (MiraXTv3_dyn) R 24659 24661 24589 0 -1 4194368 8768 0 0 0 16147 6 0 0 25 0 3 0 346020295 57765888 12640 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=24661/tid=24664] ppid=24659 vsize=56412 CPUtime=162.19
/proc/24661/task/24664/stat : 24664 (MiraXTv3_dyn) R 24659 24661 24589 0 -1 4194368 9128 0 0 0 16212 7 0 0 25 0 3 0 346020295 57765888 12640 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134528906 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 323.74
Current children cumulated vsize (KiB) 56412

[startup+222.302 s]
/proc/loadavg: 1.99 1.96 1.91 3/80 24664
/proc/meminfo: memFree=1578328/2055920 swapFree=4140644/4192956
[pid=24661] ppid=24659 vsize=57556 CPUtime=443.42
/proc/24661/stat : 24661 (MiraXTv3_dyn) S 24659 24661 24589 0 -1 4194304 20859 0 0 0 44326 16 0 0 18 0 3 0 346020293 58937344 13235 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/24661/statm: 14389 13235 218 20 0 13747 0
[pid=24661/tid=24663] ppid=24659 vsize=57556 CPUtime=221.24
/proc/24661/task/24663/stat : 24663 (MiraXTv3_dyn) R 24659 24661 24589 0 -1 4194368 10156 0 0 0 22117 7 0 0 25 0 3 0 346020295 58937344 13235 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134530218 0 0 4096 0 0 0 0 -1 0 0 0
[pid=24661/tid=24664] ppid=24659 vsize=57556 CPUtime=222.15
/proc/24661/task/24664/stat : 24664 (MiraXTv3_dyn) R 24659 24661 24589 0 -1 4194368 10355 0 0 0 22207 8 0 0 25 0 3 0 346020295 58937344 13235 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 443.42
Current children cumulated vsize (KiB) 57556

[startup+282.303 s]
/proc/loadavg: 1.99 1.97 1.91 3/80 24664
/proc/meminfo: memFree=1576536/2055920 swapFree=4140644/4192956
[pid=24661] ppid=24659 vsize=59876 CPUtime=563.09
/proc/24661/stat : 24661 (MiraXTv3_dyn) S 24659 24661 24589 0 -1 4194304 23241 0 0 0 56291 18 0 0 18 0 3 0 346020293 61313024 13696 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/24661/statm: 14969 13696 218 20 0 14327 0
[pid=24661/tid=24663] ppid=24659 vsize=59876 CPUtime=280.96
/proc/24661/task/24663/stat : 24663 (MiraXTv3_dyn) R 24659 24661 24589 0 -1 4194368 11399 0 0 0 28088 8 0 0 25 0 3 0 346020295 61313024 13696 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
[pid=24661/tid=24664] ppid=24659 vsize=59876 CPUtime=282.11
/proc/24661/task/24664/stat : 24664 (MiraXTv3_dyn) R 24659 24661 24589 0 -1 4194368 11494 0 0 0 28201 10 0 0 25 0 3 0 346020295 61313024 13696 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 563.09
Current children cumulated vsize (KiB) 59876

[startup+342.302 s]
/proc/loadavg: 1.99 1.97 1.91 3/80 24664
/proc/meminfo: memFree=1575192/2055920 swapFree=4140644/4192956
[pid=24661] ppid=24659 vsize=61532 CPUtime=682.79
/proc/24661/stat : 24661 (MiraXTv3_dyn) S 24659 24661 24589 0 -1 4194304 25281 0 0 0 68259 20 0 0 18 0 3 0 346020293 63008768 14027 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/24661/statm: 15383 14027 218 20 0 14741 0
[pid=24661/tid=24663] ppid=24659 vsize=61532 CPUtime=340.69
/proc/24661/task/24663/stat : 24663 (MiraXTv3_dyn) R 24659 24661 24589 0 -1 4194368 12426 0 0 0 34061 8 0 0 25 0 3 0 346020295 63008768 14027 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526351 0 0 4096 0 0 0 0 -1 0 0 0
[pid=24661/tid=24664] ppid=24659 vsize=61532 CPUtime=342.07
/proc/24661/task/24664/stat : 24664 (MiraXTv3_dyn) R 24659 24661 24589 0 -1 4194368 12507 0 0 0 34196 11 0 0 25 0 3 0 346020295 63008768 14027 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526324 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 682.79
Current children cumulated vsize (KiB) 61532

[startup+402.301 s]

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

/proc/24661/task/24663/stat : 24663 (MiraXTv3_dyn) R 24659 24661 24589 0 -1 4194368 34520 0 0 0 183703 30 0 0 25 0 3 0 346020295 81522688 18563 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526315 0 0 4096 0 0 0 0 -1 1 0 0
[pid=24661/tid=24664] ppid=24659 vsize=79612 CPUtime=1837.37
/proc/24661/task/24664/stat : 24664 (MiraXTv3_dyn) R 24659 24661 24589 0 -1 4194368 34131 0 0 0 183688 49 0 0 25 0 3 0 346020295 81522688 18563 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526315 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3674.73
Current children cumulated vsize (KiB) 79612

[startup+1902.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/80 24862
/proc/meminfo: memFree=1556696/2055920 swapFree=4140644/4192956
[pid=24661] ppid=24659 vsize=79612 CPUtime=3794.43
/proc/24661/stat : 24661 (MiraXTv3_dyn) S 24659 24661 24589 0 -1 4194304 70644 0 0 0 379362 81 0 0 18 0 3 0 346020293 81522688 18628 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/24661/statm: 19903 18628 218 20 0 19261 0
[pid=24661/tid=24663] ppid=24659 vsize=79612 CPUtime=1897.3
/proc/24661/task/24663/stat : 24663 (MiraXTv3_dyn) R 24659 24661 24589 0 -1 4194368 35344 0 0 0 189699 31 0 0 25 0 3 0 346020295 81522688 18628 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526351 0 0 4096 0 0 0 0 -1 1 0 0
[pid=24661/tid=24664] ppid=24659 vsize=79612 CPUtime=1897.1
/proc/24661/task/24664/stat : 24664 (MiraXTv3_dyn) R 24659 24661 24589 0 -1 4194368 34952 0 0 0 189661 49 0 0 25 0 3 0 346020295 81522688 18628 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526302 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3794.43
Current children cumulated vsize (KiB) 79612

[startup+1962.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/80 24862
/proc/meminfo: memFree=1556696/2055920 swapFree=4140644/4192956
[pid=24661] ppid=24659 vsize=79820 CPUtime=3914.13
/proc/24661/stat : 24661 (MiraXTv3_dyn) S 24659 24661 24589 0 -1 4194304 72153 0 0 0 391330 83 0 0 18 0 3 0 346020293 81735680 18664 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/24661/statm: 19955 18664 218 20 0 19313 0
[pid=24661/tid=24663] ppid=24659 vsize=79820 CPUtime=1957.26
/proc/24661/task/24663/stat : 24663 (MiraXTv3_dyn) R 24659 24661 24589 0 -1 4194368 36053 0 0 0 195694 32 0 0 25 0 3 0 346020295 81735680 18664 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134530014 0 0 4096 0 0 0 0 -1 1 0 0
[pid=24661/tid=24664] ppid=24659 vsize=79820 CPUtime=1956.84
/proc/24661/task/24664/stat : 24664 (MiraXTv3_dyn) R 24659 24661 24589 0 -1 4194368 35752 0 0 0 195634 50 0 0 25 0 3 0 346020295 81735680 18664 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3914.13
Current children cumulated vsize (KiB) 79820

[startup+2022.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/80 24862
/proc/meminfo: memFree=1556184/2055920 swapFree=4140644/4192956
[pid=24661] ppid=24659 vsize=79820 CPUtime=4033.84
/proc/24661/stat : 24661 (MiraXTv3_dyn) S 24659 24661 24589 0 -1 4194304 73714 0 0 0 403300 84 0 0 18 0 3 0 346020293 81735680 18743 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/24661/statm: 19955 18743 218 20 0 19313 0
[pid=24661/tid=24663] ppid=24659 vsize=79820 CPUtime=2017.24
/proc/24661/task/24663/stat : 24663 (MiraXTv3_dyn) R 24659 24661 24589 0 -1 4194368 36880 0 0 0 201691 33 0 0 25 0 3 0 346020295 81735680 18743 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526702 0 0 4096 0 0 0 0 -1 1 0 0
[pid=24661/tid=24664] ppid=24659 vsize=79820 CPUtime=2016.58
/proc/24661/task/24664/stat : 24664 (MiraXTv3_dyn) R 24659 24661 24589 0 -1 4194368 36486 0 0 0 201607 51 0 0 25 0 3 0 346020295 81735680 18743 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4033.84
Current children cumulated vsize (KiB) 79820

[startup+2082.31 s]
/proc/loadavg: 1.99 1.97 1.91 3/80 24862
/proc/meminfo: memFree=1556184/2055920 swapFree=4140644/4192956
[pid=24661] ppid=24659 vsize=79820 CPUtime=4153.55
/proc/24661/stat : 24661 (MiraXTv3_dyn) S 24659 24661 24589 0 -1 4194304 75210 0 0 0 415269 86 0 0 18 0 3 0 346020293 81735680 18751 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/24661/statm: 19955 18751 218 20 0 19313 0
[pid=24661/tid=24663] ppid=24659 vsize=79820 CPUtime=2077.21
/proc/24661/task/24663/stat : 24663 (MiraXTv3_dyn) R 24659 24661 24589 0 -1 4194368 37571 0 0 0 207687 34 0 0 25 0 3 0 346020295 81735680 18751 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526457 0 0 4096 0 0 0 0 -1 1 0 0
[pid=24661/tid=24664] ppid=24659 vsize=79820 CPUtime=2076.32
/proc/24661/task/24664/stat : 24664 (MiraXTv3_dyn) R 24659 24661 24589 0 -1 4194368 37291 0 0 0 207581 51 0 0 25 0 3 0 346020295 81735680 18751 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4153.55
Current children cumulated vsize (KiB) 79820

[startup+2142.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/80 24862
/proc/meminfo: memFree=1555864/2055920 swapFree=4140644/4192956
[pid=24661] ppid=24659 vsize=80164 CPUtime=4273.23
/proc/24661/stat : 24661 (MiraXTv3_dyn) S 24659 24661 24589 0 -1 4194304 76670 0 0 0 427236 87 0 0 18 0 3 0 346020293 82087936 18831 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/24661/statm: 20041 18831 218 20 0 19399 0
[pid=24661/tid=24663] ppid=24659 vsize=80164 CPUtime=2137.17
/proc/24661/task/24663/stat : 24663 (MiraXTv3_dyn) R 24659 24661 24589 0 -1 4194368 38286 0 0 0 213682 35 0 0 25 0 3 0 346020295 82087936 18831 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526477 0 0 4096 0 0 0 0 -1 1 0 0
[pid=24661/tid=24664] ppid=24659 vsize=80164 CPUtime=2136.05
/proc/24661/task/24664/stat : 24664 (MiraXTv3_dyn) R 24659 24661 24589 0 -1 4194368 38036 0 0 0 213553 52 0 0 25 0 3 0 346020295 82087936 18831 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4273.23
Current children cumulated vsize (KiB) 80164

[startup+2202.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/80 24862
/proc/meminfo: memFree=1555864/2055920 swapFree=4140644/4192956
[pid=24661] ppid=24659 vsize=80164 CPUtime=4392.94
/proc/24661/stat : 24661 (MiraXTv3_dyn) S 24659 24661 24589 0 -1 4194304 78300 0 0 0 439205 89 0 0 18 0 3 0 346020293 82087936 18841 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/24661/statm: 20041 18841 218 20 0 19399 0
[pid=24661/tid=24663] ppid=24659 vsize=80164 CPUtime=2197.14
/proc/24661/task/24663/stat : 24663 (MiraXTv3_dyn) R 24659 24661 24589 0 -1 4194368 39101 0 0 0 219678 36 0 0 25 0 3 0 346020295 82087936 18841 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=24661/tid=24664] ppid=24659 vsize=80164 CPUtime=2195.77
/proc/24661/task/24664/stat : 24664 (MiraXTv3_dyn) R 24659 24661 24589 0 -1 4194368 38851 0 0 0 219525 52 0 0 25 0 3 0 346020295 82087936 18841 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4392.94
Current children cumulated vsize (KiB) 80164

[startup+2262.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/80 24862
/proc/meminfo: memFree=1555800/2055920 swapFree=4140644/4192956
[pid=24661] ppid=24659 vsize=81188 CPUtime=4512.63
/proc/24661/stat : 24661 (MiraXTv3_dyn) S 24659 24661 24589 0 -1 4194304 79743 0 0 0 451173 90 0 0 18 0 3 0 346020293 83136512 18889 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/24661/statm: 20297 18889 218 20 0 19655 0
[pid=24661/tid=24663] ppid=24659 vsize=81188 CPUtime=2257.12
/proc/24661/task/24663/stat : 24663 (MiraXTv3_dyn) R 24659 24661 24589 0 -1 4194368 39828 0 0 0 225675 37 0 0 25 0 3 0 346020295 83136512 18889 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=24661/tid=24664] ppid=24659 vsize=81188 CPUtime=2255.5
/proc/24661/task/24664/stat : 24664 (MiraXTv3_dyn) R 24659 24661 24589 0 -1 4194368 39567 0 0 0 225497 53 0 0 25 0 3 0 346020295 83136512 18889 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4512.63
Current children cumulated vsize (KiB) 81188

[startup+2322.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/80 24862
/proc/meminfo: memFree=1555352/2055920 swapFree=4140644/4192956
[pid=24661] ppid=24659 vsize=82360 CPUtime=4632.35
/proc/24661/stat : 24661 (MiraXTv3_dyn) S 24659 24661 24589 0 -1 4194304 81335 0 0 0 463144 91 0 0 18 0 3 0 346020293 84336640 18960 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/24661/statm: 20590 18960 218 20 0 19948 0
[pid=24661/tid=24663] ppid=24659 vsize=82360 CPUtime=2317.09
/proc/24661/task/24663/stat : 24663 (MiraXTv3_dyn) R 24659 24661 24589 0 -1 4194368 40677 0 0 0 231672 37 0 0 25 0 3 0 346020295 84336640 18960 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=24661/tid=24664] ppid=24659 vsize=82360 CPUtime=2315.24
/proc/24661/task/24664/stat : 24664 (MiraXTv3_dyn) R 24659 24661 24589 0 -1 4194368 40310 0 0 0 231471 53 0 0 25 0 3 0 346020295 84336640 18960 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526322 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4632.35
Current children cumulated vsize (KiB) 82360

[startup+2382.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/80 24862
/proc/meminfo: memFree=1555096/2055920 swapFree=4140644/4192956
[pid=24661] ppid=24659 vsize=82360 CPUtime=4752.04
/proc/24661/stat : 24661 (MiraXTv3_dyn) S 24659 24661 24589 0 -1 4194304 82842 0 0 0 475111 93 0 0 18 0 3 0 346020293 84336640 19052 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/24661/statm: 20590 19052 218 20 0 19948 0
[pid=24661/tid=24663] ppid=24659 vsize=82360 CPUtime=2377.05
/proc/24661/task/24663/stat : 24663 (MiraXTv3_dyn) R 24659 24661 24589 0 -1 4194368 41412 0 0 0 237667 38 0 0 25 0 3 0 346020295 84336640 19052 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526291 0 0 4096 0 0 0 0 -1 1 0 0
[pid=24661/tid=24664] ppid=24659 vsize=82360 CPUtime=2374.97
/proc/24661/task/24664/stat : 24664 (MiraXTv3_dyn) R 24659 24661 24589 0 -1 4194368 41082 0 0 0 237443 54 0 0 25 0 3 0 346020295 84336640 19052 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4752.04
Current children cumulated vsize (KiB) 82360

[startup+2442.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/80 24862
/proc/meminfo: memFree=1554520/2055920 swapFree=4140644/4192956
[pid=24661] ppid=24659 vsize=82544 CPUtime=4871.74
/proc/24661/stat : 24661 (MiraXTv3_dyn) S 24659 24661 24589 0 -1 4194304 84459 0 0 0 487080 94 0 0 18 0 3 0 346020293 84525056 19130 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/24661/statm: 20636 19130 218 20 0 19994 0
[pid=24661/tid=24663] ppid=24659 vsize=82544 CPUtime=2437.02
/proc/24661/task/24663/stat : 24663 (MiraXTv3_dyn) R 24659 24661 24589 0 -1 4194368 42163 0 0 0 243663 39 0 0 25 0 3 0 346020295 84525056 19130 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526309 0 0 4096 0 0 0 0 -1 1 0 0
[pid=24661/tid=24664] ppid=24659 vsize=82544 CPUtime=2434.69
/proc/24661/task/24664/stat : 24664 (MiraXTv3_dyn) R 24659 24661 24589 0 -1 4194368 41948 0 0 0 243415 54 0 0 25 0 3 0 346020295 84525056 19130 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4871.74
Current children cumulated vsize (KiB) 82544

[startup+2502.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/80 24862
/proc/meminfo: memFree=1554392/2055920 swapFree=4140644/4192956
[pid=24661] ppid=24659 vsize=82544 CPUtime=4991.45
/proc/24661/stat : 24661 (MiraXTv3_dyn) S 24659 24661 24589 0 -1 4194304 85931 0 0 0 499049 96 0 0 18 0 3 0 346020293 84525056 19174 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/24661/statm: 20636 19174 218 20 0 19994 0
[pid=24661/tid=24663] ppid=24659 vsize=82544 CPUtime=2496.99
/proc/24661/task/24663/stat : 24663 (MiraXTv3_dyn) R 24659 24661 24589 0 -1 4194368 42880 0 0 0 249659 40 0 0 25 0 3 0 346020295 84525056 19174 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526477 0 0 4096 0 0 0 0 -1 1 0 0
[pid=24661/tid=24664] ppid=24659 vsize=82544 CPUtime=2494.43
/proc/24661/task/24664/stat : 24664 (MiraXTv3_dyn) R 24659 24661 24589 0 -1 4194368 42703 0 0 0 249388 55 0 0 25 0 3 0 346020295 84525056 19174 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526720 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4991.45
Current children cumulated vsize (KiB) 82544



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2506.6 s]
/proc/loadavg: 1.99 1.97 1.91 3/80 24862
/proc/meminfo: memFree=1554328/2055920 swapFree=4140644/4192956
[pid=24661] ppid=24659 vsize=82544 CPUtime=5000.04
/proc/24661/stat : 24661 (MiraXTv3_dyn) S 24659 24661 24589 0 -1 4194304 85931 0 0 0 499908 96 0 0 18 0 3 0 346020293 84525056 19174 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/24661/statm: 20636 19174 218 20 0 19994 0
[pid=24661/tid=24663] ppid=24659 vsize=82544 CPUtime=2501.3
/proc/24661/task/24663/stat : 24663 (MiraXTv3_dyn) R 24659 24661 24589 0 -1 4194368 42880 0 0 0 250090 40 0 0 25 0 3 0 346020295 84525056 19174 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
[pid=24661/tid=24664] ppid=24659 vsize=82544 CPUtime=2498.72
/proc/24661/task/24664/stat : 24664 (MiraXTv3_dyn) R 24659 24661 24589 0 -1 4194368 42703 0 0 0 249817 55 0 0 25 0 3 0 346020295 84525056 19174 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 5000.04
Current children cumulated vsize (KiB) 82544

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 2506.63
CPU time (s): 5000.07
CPU user time (s): 4999.1
CPU system time (s): 0.973851
CPU usage (%): 199.474
Max. virtual memory (cumulated for all children) (KiB): 82832

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4999.1
system time used= 0.973851
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 85931
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= 587
involuntary context switches= 94338

runsolver used 2.57261 second user time and 6.597 second system time

The end

Launcher Data (download as text)

Begin job on node17 on Sat May 12 14:43:48 UTC 2007

IDJOB= 426053
IDBENCH= 19851
IDSOLVER= 196
FILE ID= node17/426053-1178981028

PBS_JOBID= 5252811

Free space on /tmp= 66561 MiB

SOLVER NAME= MiraXT v3
BENCH NAME= HOME/pub/bench/SAT07/random/OnTreshold/5SAT/v100/unif-k5-r21.3-v100-c2130-S804631280-01.SAT.shuffled.cnf
COMMAND LINE= /tmp/evaluation/426053-1178981028/MiraXTv3_dyn /tmp/evaluation/426053-1178981028/instance-426053-1178981028.cnf
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node17/watcher-426053-1178981028 -o ROOT/results/node17/solver-426053-1178981028 -C 5000 -W 7500 -M 1800 --output-limit 1,15  /tmp/evaluation/426053-1178981028/MiraXTv3_dyn /tmp/evaluation/426053-1178981028/instance-426053-1178981028.cnf

META MD5SUM SOLVER= 2ad149617ed8d249d89b067eb44c33da
MD5SUM BENCH=  c3a60c73a856b19b59d723c0a3c76b1b

RANDOM SEED= 513256100

TIME LIMIT= 5000 seconds
MEMORY LIMIT= 1800 MiB

Linux node17.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.240
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.240
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:       1631368 kB
Buffers:         51056 kB
Cached:         285548 kB
SwapCached:      15568 kB
Active:         168492 kB
Inactive:       191980 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1631368 kB
SwapTotal:     4192956 kB
SwapFree:      4140644 kB
Dirty:            4156 kB
Writeback:           0 kB
Mapped:          29828 kB
Slab:            49656 kB
Committed_AS: 10225248 kB
PageTables:       1796 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 node17 on Sat May 12 15:25:37 UTC 2007