Trace number 456336

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.16 2547.13

General information on the benchmark

Namecrafted/Hard/contest05/counting-clq/
unsat-set-a-clqcolor-10-06-07.sat05-1250.reshuffled-07.cnf
MD5SUMd64dca54200a054e94b7ff79160b1bde
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables175
Number of clauses2387
Sum of the clauses size7030
Maximum clause length10
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 2210
Number of clauses of size 32160
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 517

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/node47/watcher-456336-1179022458 -o ROOT/results/node47/solver-456336-1179022458 -C 5000 -W 7500 -M 1800 --output-limit 1,15 /tmp/evaluation/456336-1179022458/MiraXTv3_dyn /tmp/evaluation/456336-1179022458/instance-456336-1179022458.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: 2.00 2.00 1.95 3/77 1466
/proc/meminfo: memFree=1572560/2055920 swapFree=4157856/4192956
[pid=1466] ppid=1464 vsize=3788 CPUtime=0
/proc/1466/stat : 1466 (MiraXTv3_dyn) R 1464 1466 32481 0 -1 4194304 285 0 0 0 0 0 0 0 18 0 1 0 257091193 3878912 260 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 10954363 0 0 4096 0 0 0 0 17 1 0 0
/proc/1466/statm: 947 260 206 20 0 305 0

[startup+0.038035 s]
/proc/loadavg: 2.00 2.00 1.95 3/77 1466
/proc/meminfo: memFree=1572560/2055920 swapFree=4157856/4192956
[pid=1466] ppid=1464 vsize=11412 CPUtime=1.05
/proc/1466/stat : 1466 (MiraXTv3_dyn) S 1464 1466 32481 0 -1 4194304 1882 0 0 0 105 0 0 0 18 0 3 0 257091193 11685888 1857 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/1466/statm: 2853 1857 218 20 0 2211 0
Current children cumulated CPU time (s) 1.05
Current children cumulated vsize (KiB) 11412

[startup+0.606402 s]
/proc/loadavg: 2.00 2.00 1.95 3/77 1466
/proc/meminfo: memFree=1572560/2055920 swapFree=4157856/4192956
[pid=1466] ppid=1464 vsize=11748 CPUtime=1.18
/proc/1466/stat : 1466 (MiraXTv3_dyn) S 1464 1466 32481 0 -1 4194304 2022 0 0 0 117 1 0 0 18 0 3 0 257091193 12029952 1997 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/1466/statm: 2937 1997 218 20 0 2295 0
Current children cumulated CPU time (s) 1.18
Current children cumulated vsize (KiB) 11748

[startup+0.701413 s]
/proc/loadavg: 2.00 2.00 1.95 3/77 1466
/proc/meminfo: memFree=1572560/2055920 swapFree=4157856/4192956
[pid=1466] ppid=1464 vsize=13036 CPUtime=1.37
/proc/1466/stat : 1466 (MiraXTv3_dyn) S 1464 1466 32481 0 -1 4194304 2210 0 0 0 136 1 0 0 18 0 3 0 257091193 13348864 2185 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/1466/statm: 3259 2185 218 20 0 2617 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 13036

[startup+0.801425 s]
/proc/loadavg: 2.00 2.00 1.95 3/77 1466
/proc/meminfo: memFree=1572560/2055920 swapFree=4157856/4192956
[pid=1466] ppid=1464 vsize=13572 CPUtime=1.57
/proc/1466/stat : 1466 (MiraXTv3_dyn) S 1464 1466 32481 0 -1 4194304 2413 0 0 0 156 1 0 0 18 0 3 0 257091193 13897728 2388 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/1466/statm: 3393 2400 218 20 0 2751 0
Current children cumulated CPU time (s) 1.57
Current children cumulated vsize (KiB) 13572

[startup+1.5015 s]
/proc/loadavg: 2.00 2.00 1.95 3/80 1469
/proc/meminfo: memFree=1562296/2055920 swapFree=4157856/4192956
[pid=1466] ppid=1464 vsize=15308 CPUtime=2.98
/proc/1466/stat : 1466 (MiraXTv3_dyn) S 1464 1466 32481 0 -1 4194304 2784 0 0 0 296 2 0 0 18 0 3 0 257091193 15675392 2759 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/1466/statm: 3827 2759 218 20 0 3185 0
[pid=1466/tid=1468] ppid=1464 vsize=15308 CPUtime=1.47
/proc/1466/task/1468/stat : 1468 (MiraXTv3_dyn) R 1464 1466 32481 0 -1 4194368 1215 0 0 0 147 0 0 0 19 0 3 0 257091195 15675392 2759 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134520702 0 0 4096 0 0 0 0 -1 1 0 0
[pid=1466/tid=1469] ppid=1464 vsize=15308 CPUtime=1.47
/proc/1466/task/1469/stat : 1469 (MiraXTv3_dyn) R 1464 1466 32481 0 -1 4194368 1211 0 0 0 147 0 0 0 20 0 3 0 257091195 15675392 2759 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526489 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 15308

[startup+3.10267 s]
/proc/loadavg: 2.00 2.00 1.95 3/80 1469
/proc/meminfo: memFree=1558136/2055920 swapFree=4157856/4192956
[pid=1466] ppid=1464 vsize=21596 CPUtime=6.17
/proc/1466/stat : 1466 (MiraXTv3_dyn) S 1464 1466 32481 0 -1 4194304 4494 0 0 0 614 3 0 0 18 0 3 0 257091193 22114304 4397 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/1466/statm: 5399 4397 218 20 0 4757 0
[pid=1466/tid=1468] ppid=1464 vsize=21596 CPUtime=3.07
/proc/1466/task/1468/stat : 1468 (MiraXTv3_dyn) R 1464 1466 32481 0 -1 4194368 2118 0 0 0 306 1 0 0 23 0 3 0 257091195 22114304 4397 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
[pid=1466/tid=1469] ppid=1464 vsize=21596 CPUtime=3.06
/proc/1466/task/1469/stat : 1469 (MiraXTv3_dyn) R 1464 1466 32481 0 -1 4194368 2018 0 0 0 305 1 0 0 19 0 3 0 257091195 22114304 4397 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 21596

[startup+6.30202 s]
/proc/loadavg: 2.00 2.00 1.95 3/80 1469
/proc/meminfo: memFree=1545544/2055920 swapFree=4157856/4192956
[pid=1466] ppid=1464 vsize=32896 CPUtime=12.55
/proc/1466/stat : 1466 (MiraXTv3_dyn) S 1464 1466 32481 0 -1 4194304 7398 0 0 0 1250 5 0 0 18 0 3 0 257091193 33685504 7180 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/1466/statm: 8224 7180 218 20 0 7582 0
[pid=1466/tid=1468] ppid=1464 vsize=32896 CPUtime=6.27
/proc/1466/task/1468/stat : 1468 (MiraXTv3_dyn) R 1464 1466 32481 0 -1 4194368 3532 0 0 0 625 2 0 0 20 0 3 0 257091195 33685504 7180 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526370 0 0 4096 0 0 0 0 -1 1 0 0
[pid=1466/tid=1469] ppid=1464 vsize=32896 CPUtime=6.25
/proc/1466/task/1469/stat : 1469 (MiraXTv3_dyn) R 1464 1466 32481 0 -1 4194368 3508 0 0 0 623 2 0 0 25 0 3 0 257091195 33685504 7180 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 32896

[startup+12.7027 s]
/proc/loadavg: 2.00 2.00 1.95 3/80 1469
/proc/meminfo: memFree=1535112/2055920 swapFree=4157856/4192956
[pid=1466] ppid=1464 vsize=43448 CPUtime=25.31
/proc/1466/stat : 1466 (MiraXTv3_dyn) S 1464 1466 32481 0 -1 4194304 10149 0 0 0 2523 8 0 0 18 0 3 0 257091193 44490752 9505 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/1466/statm: 10862 9505 218 20 0 10220 0
[pid=1466/tid=1468] ppid=1464 vsize=43448 CPUtime=12.66
/proc/1466/task/1468/stat : 1468 (MiraXTv3_dyn) R 1464 1466 32481 0 -1 4194368 5056 0 0 0 1263 3 0 0 25 0 3 0 257091195 44490752 9505 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526429 0 0 4096 0 0 0 0 -1 1 0 0
[pid=1466/tid=1469] ppid=1464 vsize=43448 CPUtime=12.62
/proc/1466/task/1469/stat : 1469 (MiraXTv3_dyn) R 1464 1466 32481 0 -1 4194368 4735 0 0 0 1259 3 0 0 25 0 3 0 257091195 44490752 9505 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526294 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.31
Current children cumulated vsize (KiB) 43448

[startup+25.5011 s]
/proc/loadavg: 2.00 2.00 1.95 3/80 1469
/proc/meminfo: memFree=1523912/2055920 swapFree=4157856/4192956
[pid=1466] ppid=1464 vsize=54024 CPUtime=50.84
/proc/1466/stat : 1466 (MiraXTv3_dyn) S 1464 1466 32481 0 -1 4194304 13477 0 0 0 5073 11 0 0 18 0 3 0 257091193 55320576 12215 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/1466/statm: 13506 12215 218 20 0 12864 0
[pid=1466/tid=1468] ppid=1464 vsize=54024 CPUtime=25.46
/proc/1466/task/1468/stat : 1468 (MiraXTv3_dyn) R 1464 1466 32481 0 -1 4194368 6560 0 0 0 2541 5 0 0 25 0 3 0 257091195 55320576 12215 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526333 0 0 4096 0 0 0 0 -1 1 0 0
[pid=1466/tid=1469] ppid=1464 vsize=54024 CPUtime=25.36
/proc/1466/task/1469/stat : 1469 (MiraXTv3_dyn) R 1464 1466 32481 0 -1 4194368 6559 0 0 0 2531 5 0 0 25 0 3 0 257091195 55320576 12215 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.84
Current children cumulated vsize (KiB) 54024

[startup+51.1069 s]
/proc/loadavg: 2.00 2.00 1.95 3/80 1469
/proc/meminfo: memFree=1515336/2055920 swapFree=4157856/4192956
[pid=1466] ppid=1464 vsize=62612 CPUtime=101.89
/proc/1466/stat : 1466 (MiraXTv3_dyn) S 1464 1466 32481 0 -1 4194304 16901 0 0 0 10175 14 0 0 18 0 3 0 257091193 64114688 14344 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/1466/statm: 15653 14344 218 20 0 15011 0
[pid=1466/tid=1468] ppid=1464 vsize=62612 CPUtime=51.04
/proc/1466/task/1468/stat : 1468 (MiraXTv3_dyn) R 1464 1466 32481 0 -1 4194368 8455 0 0 0 5098 6 0 0 25 0 3 0 257091195 64114688 14344 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=1466/tid=1469] ppid=1464 vsize=62612 CPUtime=50.82
/proc/1466/task/1469/stat : 1469 (MiraXTv3_dyn) R 1464 1466 32481 0 -1 4194368 8088 0 0 0 5075 7 0 0 25 0 3 0 257091195 64114688 14344 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.89
Current children cumulated vsize (KiB) 62612

[startup+102.301 s]
/proc/loadavg: 2.00 2.00 1.95 3/80 1469
/proc/meminfo: memFree=1509960/2055920 swapFree=4157856/4192956
[pid=1466] ppid=1464 vsize=67976 CPUtime=203.97
/proc/1466/stat : 1466 (MiraXTv3_dyn) S 1464 1466 32481 0 -1 4194304 20665 0 0 0 20380 17 0 0 18 0 3 0 257091193 69607424 15638 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/1466/statm: 16994 15638 218 20 0 16352 0
[pid=1466/tid=1468] ppid=1464 vsize=67976 CPUtime=102.19
/proc/1466/task/1468/stat : 1468 (MiraXTv3_dyn) R 1464 1466 32481 0 -1 4194368 10179 0 0 0 10211 8 0 0 25 0 3 0 257091195 69607424 15638 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=1466/tid=1469] ppid=1464 vsize=67976 CPUtime=101.77
/proc/1466/task/1469/stat : 1469 (MiraXTv3_dyn) R 1464 1466 32481 0 -1 4194368 10128 0 0 0 10168 9 0 0 25 0 3 0 257091195 69607424 15638 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 203.97
Current children cumulated vsize (KiB) 67976

[startup+162.302 s]
/proc/loadavg: 2.00 2.00 1.95 3/80 1469
/proc/meminfo: memFree=1508296/2055920 swapFree=4157856/4192956
[pid=1466] ppid=1464 vsize=68640 CPUtime=323.62
/proc/1466/stat : 1466 (MiraXTv3_dyn) S 1464 1466 32481 0 -1 4194304 23856 0 0 0 32342 20 0 0 18 0 3 0 257091193 70287360 16034 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/1466/statm: 17160 16034 218 20 0 16518 0
[pid=1466/tid=1468] ppid=1464 vsize=68640 CPUtime=162.13
/proc/1466/task/1468/stat : 1468 (MiraXTv3_dyn) R 1464 1466 32481 0 -1 4194368 11822 0 0 0 16204 9 0 0 25 0 3 0 257091195 70287360 16034 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526397 0 0 4096 0 0 0 0 -1 1 0 0
[pid=1466/tid=1469] ppid=1464 vsize=68640 CPUtime=161.47
/proc/1466/task/1469/stat : 1469 (MiraXTv3_dyn) R 1464 1466 32481 0 -1 4194368 11676 0 0 0 16137 10 0 0 25 0 3 0 257091195 70287360 16034 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 323.62
Current children cumulated vsize (KiB) 68640

[startup+222.301 s]
/proc/loadavg: 2.00 2.00 1.95 3/80 1469
/proc/meminfo: memFree=1507144/2055920 swapFree=4157856/4192956
[pid=1466] ppid=1464 vsize=70500 CPUtime=443.27
/proc/1466/stat : 1466 (MiraXTv3_dyn) S 1464 1466 32481 0 -1 4194304 26870 0 0 0 44304 23 0 0 18 0 3 0 257091193 72192000 16318 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/1466/statm: 17625 16318 218 20 0 16983 0
[pid=1466/tid=1468] ppid=1464 vsize=70500 CPUtime=222.07
/proc/1466/task/1468/stat : 1468 (MiraXTv3_dyn) R 1464 1466 32481 0 -1 4194368 13404 0 0 0 22196 11 0 0 25 0 3 0 257091195 72192000 16318 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=1466/tid=1469] ppid=1464 vsize=70500 CPUtime=221.17
/proc/1466/task/1469/stat : 1469 (MiraXTv3_dyn) R 1464 1466 32481 0 -1 4194368 13108 0 0 0 22106 11 0 0 25 0 3 0 257091195 72192000 16318 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 443.27
Current children cumulated vsize (KiB) 70500

[startup+282.302 s]
/proc/loadavg: 2.00 2.00 1.95 3/80 1469
/proc/meminfo: memFree=1506184/2055920 swapFree=4157856/4192956
[pid=1466] ppid=1464 vsize=71096 CPUtime=562.9
/proc/1466/stat : 1466 (MiraXTv3_dyn) S 1464 1466 32481 0 -1 4194304 29547 0 0 0 56265 25 0 0 18 0 3 0 257091193 72802304 16525 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/1466/statm: 17774 16525 218 20 0 17132 0
[pid=1466/tid=1468] ppid=1464 vsize=71096 CPUtime=282.02
/proc/1466/task/1468/stat : 1468 (MiraXTv3_dyn) R 1464 1466 32481 0 -1 4194368 14910 0 0 0 28190 12 0 0 25 0 3 0 257091195 72802304 16525 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526324 0 0 4096 0 0 0 0 -1 1 0 0
[pid=1466/tid=1469] ppid=1464 vsize=71096 CPUtime=280.85
/proc/1466/task/1469/stat : 1469 (MiraXTv3_dyn) R 1464 1466 32481 0 -1 4194368 14279 0 0 0 28073 12 0 0 25 0 3 0 257091195 72802304 16525 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526288 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 562.9
Current children cumulated vsize (KiB) 71096

[startup+342.301 s]
/proc/loadavg: 2.00 2.00 1.95 3/80 1469
/proc/meminfo: memFree=1504648/2055920 swapFree=4157856/4192956
[pid=1466] ppid=1464 vsize=72420 CPUtime=682.57
/proc/1466/stat : 1466 (MiraXTv3_dyn) S 1464 1466 32481 0 -1 4194304 32521 0 0 0 68229 28 0 0 18 0 3 0 257091193 74158080 16896 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/1466/statm: 18105 16896 218 20 0 17463 0
[pid=1466/tid=1468] ppid=1464 vsize=72420 CPUtime=341.96
/proc/1466/task/1468/stat : 1468 (MiraXTv3_dyn) R 1464 1466 32481 0 -1 4194368 16451 0 0 0 34183 13 0 0 25 0 3 0 257091195 74158080 16896 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526702 0 0 4096 0 0 0 0 -1 1 0 0
[pid=1466/tid=1469] ppid=1464 vsize=72420 CPUtime=340.57
/proc/1466/task/1469/stat : 1469 (MiraXTv3_dyn) R 1464 1466 32481 0 -1 4194368 15712 0 0 0 34044 13 0 0 25 0 3 0 257091195 74158080 16896 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 682.57
Current children cumulated vsize (KiB) 72420

[startup+402.302 s]

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

/proc/1466/task/1468/stat : 1468 (MiraXTv3_dyn) R 1464 1466 32481 0 -1 4194368 51189 0 0 0 180020 62 0 0 25 0 3 0 257091195 108552192 24920 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=1466/tid=1469] ppid=1464 vsize=106008 CPUtime=1793.86
/proc/1466/task/1469/stat : 1469 (MiraXTv3_dyn) R 1464 1466 32481 0 -1 4194368 41887 0 0 0 179323 63 0 0 25 0 3 0 257091195 108552192 24920 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3594.71
Current children cumulated vsize (KiB) 106008

[startup+1902.3 s]
/proc/loadavg: 2.00 2.02 2.09 3/80 3779
/proc/meminfo: memFree=1430728/2055920 swapFree=4157856/4192956
[pid=1466] ppid=1464 vsize=106008 CPUtime=3714.36
/proc/1466/stat : 1466 (MiraXTv3_dyn) S 1464 1466 32481 0 -1 4194304 94670 0 0 0 371308 128 0 0 18 0 3 0 257091193 108552192 24921 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/1466/statm: 26502 24921 218 20 0 25860 0
[pid=1466/tid=1468] ppid=1464 vsize=106008 CPUtime=1860.78
/proc/1466/task/1468/stat : 1468 (MiraXTv3_dyn) R 1464 1466 32481 0 -1 4194368 52359 0 0 0 186015 63 0 0 25 0 3 0 257091195 108552192 24921 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=1466/tid=1469] ppid=1464 vsize=106008 CPUtime=1853.55
/proc/1466/task/1469/stat : 1469 (MiraXTv3_dyn) R 1464 1466 32481 0 -1 4194368 41953 0 0 0 185291 64 0 0 25 0 3 0 257091195 108552192 24921 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3714.36
Current children cumulated vsize (KiB) 106008

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.09 3/80 3779
/proc/meminfo: memFree=1430600/2055920 swapFree=4157856/4192956
[pid=1466] ppid=1464 vsize=106008 CPUtime=3834
/proc/1466/stat : 1466 (MiraXTv3_dyn) S 1464 1466 32481 0 -1 4194304 96039 0 0 0 383270 130 0 0 18 0 3 0 257091193 108552192 24925 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/1466/statm: 26502 24925 218 20 0 25860 0
[pid=1466/tid=1468] ppid=1464 vsize=106008 CPUtime=1920.7
/proc/1466/task/1468/stat : 1468 (MiraXTv3_dyn) R 1464 1466 32481 0 -1 4194368 53663 0 0 0 192005 65 0 0 25 0 3 0 257091195 108552192 24925 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
[pid=1466/tid=1469] ppid=1464 vsize=106008 CPUtime=1913.28
/proc/1466/task/1469/stat : 1469 (MiraXTv3_dyn) R 1464 1466 32481 0 -1 4194368 42018 0 0 0 191263 65 0 0 25 0 3 0 257091195 108552192 24925 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3834
Current children cumulated vsize (KiB) 106008

[startup+2022.31 s]
/proc/loadavg: 2.00 2.00 2.08 3/80 3779
/proc/meminfo: memFree=1427016/2055920 swapFree=4157856/4192956
[pid=1466] ppid=1464 vsize=109080 CPUtime=3953.67
/proc/1466/stat : 1466 (MiraXTv3_dyn) S 1464 1466 32481 0 -1 4194304 98226 0 0 0 395233 134 0 0 18 0 3 0 257091193 111697920 25807 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/1466/statm: 27270 25807 218 20 0 26628 0
[pid=1466/tid=1468] ppid=1464 vsize=109080 CPUtime=1980.4
/proc/1466/task/1468/stat : 1468 (MiraXTv3_dyn) R 1464 1466 32481 0 -1 4194368 54773 0 0 0 197974 66 0 0 25 0 3 0 257091195 111697920 25807 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526288 0 0 4096 0 0 0 0 -1 0 0 0
[pid=1466/tid=1469] ppid=1464 vsize=109080 CPUtime=1973.24
/proc/1466/task/1469/stat : 1469 (MiraXTv3_dyn) R 1464 1466 32481 0 -1 4194368 43095 0 0 0 197257 67 0 0 25 0 3 0 257091195 111697920 25807 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526370 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3953.67
Current children cumulated vsize (KiB) 109080

[startup+2082.3 s]
/proc/loadavg: 2.00 2.00 2.08 3/80 3779
/proc/meminfo: memFree=1426888/2055920 swapFree=4157856/4192956
[pid=1466] ppid=1464 vsize=109080 CPUtime=4073.3
/proc/1466/stat : 1466 (MiraXTv3_dyn) S 1464 1466 32481 0 -1 4194304 99924 0 0 0 407195 135 0 0 18 0 3 0 257091193 111697920 25808 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/1466/statm: 27270 25808 218 20 0 26628 0
[pid=1466/tid=1468] ppid=1464 vsize=109080 CPUtime=2040.28
/proc/1466/task/1468/stat : 1468 (MiraXTv3_dyn) R 1464 1466 32481 0 -1 4194368 55624 0 0 0 203961 67 0 0 25 0 3 0 257091195 111697920 25808 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=1466/tid=1469] ppid=1464 vsize=109080 CPUtime=2033
/proc/1466/task/1469/stat : 1469 (MiraXTv3_dyn) R 1464 1466 32481 0 -1 4194368 43942 0 0 0 203232 68 0 0 25 0 3 0 257091195 111697920 25808 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4073.3
Current children cumulated vsize (KiB) 109080

[startup+2142.3 s]
/proc/loadavg: 2.00 2.00 2.07 3/80 3779
/proc/meminfo: memFree=1425928/2055920 swapFree=4157856/4192956
[pid=1466] ppid=1464 vsize=109952 CPUtime=4192.9
/proc/1466/stat : 1466 (MiraXTv3_dyn) S 1464 1466 32481 0 -1 4194304 102100 0 0 0 419153 137 0 0 18 0 3 0 257091193 112590848 26030 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/1466/statm: 27488 26030 218 20 0 26846 0
[pid=1466/tid=1468] ppid=1464 vsize=109952 CPUtime=2100.17
/proc/1466/task/1468/stat : 1468 (MiraXTv3_dyn) R 1464 1466 32481 0 -1 4194368 57146 0 0 0 209949 68 0 0 25 0 3 0 257091195 112590848 26030 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=1466/tid=1469] ppid=1464 vsize=109952 CPUtime=2092.71
/proc/1466/task/1469/stat : 1469 (MiraXTv3_dyn) R 1464 1466 32481 0 -1 4194368 44596 0 0 0 209203 68 0 0 25 0 3 0 257091195 112590848 26030 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4192.9
Current children cumulated vsize (KiB) 109952

[startup+2202.3 s]
/proc/loadavg: 2.00 2.00 2.06 3/80 3779
/proc/meminfo: memFree=1425864/2055920 swapFree=4157856/4192956
[pid=1466] ppid=1464 vsize=109952 CPUtime=4312.57
/proc/1466/stat : 1466 (MiraXTv3_dyn) S 1464 1466 32481 0 -1 4194304 103801 0 0 0 431118 139 0 0 18 0 3 0 257091193 112590848 26030 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/1466/statm: 27488 26030 218 20 0 26846 0
[pid=1466/tid=1468] ppid=1464 vsize=109952 CPUtime=2160
/proc/1466/task/1468/stat : 1468 (MiraXTv3_dyn) R 1464 1466 32481 0 -1 4194368 58261 0 0 0 215931 69 0 0 25 0 3 0 257091195 112590848 26030 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526280 0 0 4096 0 0 0 0 -1 0 0 0
[pid=1466/tid=1469] ppid=1464 vsize=109952 CPUtime=2152.54
/proc/1466/task/1469/stat : 1469 (MiraXTv3_dyn) R 1464 1466 32481 0 -1 4194368 45182 0 0 0 215185 69 0 0 25 0 3 0 257091195 112590848 26030 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134520200 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4312.57
Current children cumulated vsize (KiB) 109952

[startup+2262.3 s]
/proc/loadavg: 2.00 2.00 2.06 3/80 3779
/proc/meminfo: memFree=1425800/2055920 swapFree=4157856/4192956
[pid=1466] ppid=1464 vsize=110084 CPUtime=4432.19
/proc/1466/stat : 1466 (MiraXTv3_dyn) S 1464 1466 32481 0 -1 4194304 105210 0 0 0 443078 141 0 0 18 0 3 0 257091193 112726016 26061 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/1466/statm: 27521 26061 218 20 0 26879 0
[pid=1466/tid=1468] ppid=1464 vsize=110084 CPUtime=2219.67
/proc/1466/task/1468/stat : 1468 (MiraXTv3_dyn) R 1464 1466 32481 0 -1 4194368 59409 0 0 0 221897 70 0 0 25 0 3 0 257091195 112726016 26061 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
[pid=1466/tid=1469] ppid=1464 vsize=110084 CPUtime=2212.49
/proc/1466/task/1469/stat : 1469 (MiraXTv3_dyn) R 1464 1466 32481 0 -1 4194368 45443 0 0 0 221179 70 0 0 25 0 3 0 257091195 112726016 26061 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526720 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4432.19
Current children cumulated vsize (KiB) 110084

[startup+2322.3 s]
/proc/loadavg: 2.00 2.00 2.05 3/80 3779
/proc/meminfo: memFree=1425672/2055920 swapFree=4157856/4192956
[pid=1466] ppid=1464 vsize=110084 CPUtime=4551.86
/proc/1466/stat : 1466 (MiraXTv3_dyn) S 1464 1466 32481 0 -1 4194304 106323 0 0 0 455044 142 0 0 18 0 3 0 257091193 112726016 26063 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/1466/statm: 27521 26063 218 20 0 26879 0
[pid=1466/tid=1468] ppid=1464 vsize=110084 CPUtime=2279.4
/proc/1466/task/1468/stat : 1468 (MiraXTv3_dyn) R 1464 1466 32481 0 -1 4194368 60388 0 0 0 227869 71 0 0 25 0 3 0 257091195 112726016 26063 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526486 0 0 4096 0 0 0 0 -1 0 0 0
[pid=1466/tid=1469] ppid=1464 vsize=110084 CPUtime=2272.43
/proc/1466/task/1469/stat : 1469 (MiraXTv3_dyn) R 1464 1466 32481 0 -1 4194368 45577 0 0 0 227173 70 0 0 25 0 3 0 257091195 112726016 26063 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526489 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4551.86
Current children cumulated vsize (KiB) 110084

[startup+2382.3 s]
/proc/loadavg: 2.00 2.00 2.05 3/80 3779
/proc/meminfo: memFree=1424520/2055920 swapFree=4157856/4192956
[pid=1466] ppid=1464 vsize=111380 CPUtime=4671.51
/proc/1466/stat : 1466 (MiraXTv3_dyn) S 1464 1466 32481 0 -1 4194304 108230 0 0 0 467006 145 0 0 18 0 3 0 257091193 114053120 26330 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/1466/statm: 27845 26330 218 20 0 27203 0
[pid=1466/tid=1468] ppid=1464 vsize=111380 CPUtime=2339.1
/proc/1466/task/1468/stat : 1468 (MiraXTv3_dyn) R 1464 1466 32481 0 -1 4194368 61178 0 0 0 233838 72 0 0 25 0 3 0 257091195 114053120 26330 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=1466/tid=1469] ppid=1464 vsize=111380 CPUtime=2332.39
/proc/1466/task/1469/stat : 1469 (MiraXTv3_dyn) R 1464 1466 32481 0 -1 4194368 46694 0 0 0 233167 72 0 0 25 0 3 0 257091195 114053120 26330 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526324 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4671.51
Current children cumulated vsize (KiB) 111380

[startup+2442.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/80 3779
/proc/meminfo: memFree=1424328/2055920 swapFree=4157856/4192956
[pid=1466] ppid=1464 vsize=111652 CPUtime=4791.15
/proc/1466/stat : 1466 (MiraXTv3_dyn) S 1464 1466 32481 0 -1 4194304 110269 0 0 0 478968 147 0 0 18 0 3 0 257091193 114331648 26331 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/1466/statm: 27913 26331 218 20 0 27271 0
[pid=1466/tid=1468] ppid=1464 vsize=111652 CPUtime=2398.79
/proc/1466/task/1468/stat : 1468 (MiraXTv3_dyn) R 1464 1466 32481 0 -1 4194368 62229 0 0 0 239806 73 0 0 25 0 3 0 257091195 114331648 26331 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526486 0 0 4096 0 0 0 0 -1 0 0 0
[pid=1466/tid=1469] ppid=1464 vsize=111652 CPUtime=2392.33
/proc/1466/task/1469/stat : 1469 (MiraXTv3_dyn) R 1464 1466 32481 0 -1 4194368 47682 0 0 0 239160 73 0 0 25 0 3 0 257091195 114331648 26331 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4791.15
Current children cumulated vsize (KiB) 111652

[startup+2502.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/80 3779
/proc/meminfo: memFree=1424200/2055920 swapFree=4157856/4192956
[pid=1466] ppid=1464 vsize=111652 CPUtime=4910.78
/proc/1466/stat : 1466 (MiraXTv3_dyn) S 1464 1466 32481 0 -1 4194304 111709 0 0 0 490929 149 0 0 18 0 3 0 257091193 114331648 26334 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/1466/statm: 27913 26334 218 20 0 27271 0
[pid=1466/tid=1468] ppid=1464 vsize=111652 CPUtime=2458.59
/proc/1466/task/1468/stat : 1468 (MiraXTv3_dyn) R 1464 1466 32481 0 -1 4194368 62820 0 0 0 245785 74 0 0 25 0 3 0 257091195 114331648 26334 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
[pid=1466/tid=1469] ppid=1464 vsize=111652 CPUtime=2452.16
/proc/1466/task/1469/stat : 1469 (MiraXTv3_dyn) R 1464 1466 32481 0 -1 4194368 48531 0 0 0 245142 74 0 0 25 0 3 0 257091195 114331648 26334 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526324 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4910.78
Current children cumulated vsize (KiB) 111652



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2547.1 s]
/proc/loadavg: 2.00 2.00 2.03 3/80 3779
/proc/meminfo: memFree=1424328/2055920 swapFree=4157856/4192956
[pid=1466] ppid=1464 vsize=111652 CPUtime=5000.12
/proc/1466/stat : 1466 (MiraXTv3_dyn) S 1464 1466 32481 0 -1 4194304 113683 0 0 0 499861 151 0 0 18 0 3 0 257091193 114331648 26335 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/1466/statm: 27913 26335 218 20 0 27271 0
[pid=1466/tid=1468] ppid=1464 vsize=111652 CPUtime=2503.27
/proc/1466/task/1468/stat : 1468 (MiraXTv3_dyn) R 1464 1466 32481 0 -1 4194368 63613 0 0 0 250252 75 0 0 25 0 3 0 257091195 114331648 26335 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=1466/tid=1469] ppid=1464 vsize=111652 CPUtime=2496.82
/proc/1466/task/1469/stat : 1469 (MiraXTv3_dyn) R 1464 1466 32481 0 -1 4194368 49712 0 0 0 249607 75 0 0 25 0 3 0 257091195 114331648 26335 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526363 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 5000.12
Current children cumulated vsize (KiB) 111652

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): 2547.13
CPU time (s): 5000.16
CPU user time (s): 4998.63
CPU system time (s): 1.53377
CPU usage (%): 196.306
Max. virtual memory (cumulated for all children) (KiB): 111916

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4998.63
system time used= 1.53377
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 113683
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= 1763
involuntary context switches= 114509

runsolver used 2.58161 second user time and 7.00593 second system time

The end

Launcher Data (download as text)

Begin job on node47 on Sun May 13 02:14:18 UTC 2007

IDJOB= 456336
IDBENCH= 24677
IDSOLVER= 196
FILE ID= node47/456336-1179022458

PBS_JOBID= 5253235

Free space on /tmp= 66528 MiB

SOLVER NAME= MiraXT v3
BENCH NAME= HOME/pub/bench/SAT07/crafted/Hard/contest05/counting-clq/unsat-set-a-clqcolor-10-06-07.sat05-1250.reshuffled-07.cnf
COMMAND LINE= /tmp/evaluation/456336-1179022458/MiraXTv3_dyn /tmp/evaluation/456336-1179022458/instance-456336-1179022458.cnf
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node47/watcher-456336-1179022458 -o ROOT/results/node47/solver-456336-1179022458 -C 5000 -W 7500 -M 1800 --output-limit 1,15  /tmp/evaluation/456336-1179022458/MiraXTv3_dyn /tmp/evaluation/456336-1179022458/instance-456336-1179022458.cnf

META MD5SUM SOLVER= 2ad149617ed8d249d89b067eb44c33da
MD5SUM BENCH=  d64dca54200a054e94b7ff79160b1bde

RANDOM SEED= 884560701

TIME LIMIT= 5000 seconds
MEMORY LIMIT= 1800 MiB

Linux node47.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.221
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.221
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:       1572840 kB
Buffers:         17620 kB
Cached:         342672 kB
SwapCached:       3780 kB
Active:         104076 kB
Inactive:       280296 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1572840 kB
SwapTotal:     4192956 kB
SwapFree:      4157856 kB
Dirty:            3948 kB
Writeback:           0 kB
Mapped:          31084 kB
Slab:            84208 kB
Committed_AS:  5574272 kB
PageTables:       1780 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= 66528 MiB

End job on node47 on Sun May 13 02:56:48 UTC 2007