Trace number 426363

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.21 2506.8

General information on the benchmark

Namerandom/LargeSize/3SAT/v13000/
unif-k3-r4.2-v13000-c54600-S883878972-08.cnf
MD5SUM28ae03a20ed33a70e6a5afd2d43adafd
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables13000
Number of clauses54600
Sum of the clauses size163800
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 354600
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data (download as text)

0.00/0.00	c Starting MiraXTv3...

Verifier Data (download as text)

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer:

Watcher Data (download as text)

runsolver version 3.2.4 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node2/watcher-426363-1179012507 -o ROOT/results/node2/solver-426363-1179012507 -C 5000 -W 7500 -M 1800 --output-limit 1,15 /tmp/evaluation/426363-1179012507/MiraXTv3_dyn /tmp/evaluation/426363-1179012507/instance-426363-1179012507.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.98 3/77 19113
/proc/meminfo: memFree=1653296/2055920 swapFree=4148880/4192956
[pid=19113] ppid=19111 vsize=3788 CPUtime=0
/proc/19113/stat : 19113 (MiraXTv3_dyn) R 19111 19113 18727 0 -1 4194304 419 0 0 0 0 0 0 0 18 0 1 0 377288520 3878912 394 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0
/proc/19113/statm: 947 403 202 20 0 305 0

[startup+0.017687 s]
/proc/loadavg: 1.84 1.97 1.98 3/77 19113
/proc/meminfo: memFree=1653296/2055920 swapFree=4148880/4192956
[pid=19113] ppid=19111 vsize=5844 CPUtime=0.01
/proc/19113/stat : 19113 (MiraXTv3_dyn) R 19111 19113 18727 0 -1 4194304 978 0 0 0 1 0 0 0 18 0 1 0 377288520 5984256 953 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 10970693 0 0 4096 0 0 0 0 17 0 0 0
/proc/19113/statm: 1461 954 206 20 0 819 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 5844

[startup+0.101696 s]
/proc/loadavg: 1.84 1.97 1.98 3/77 19113
/proc/meminfo: memFree=1653296/2055920 swapFree=4148880/4192956
[pid=19113] ppid=19111 vsize=8808 CPUtime=0.09
/proc/19113/stat : 19113 (MiraXTv3_dyn) R 19111 19113 18727 0 -1 4194304 1706 0 0 0 9 0 0 0 18 0 1 0 377288520 9019392 1681 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 10970747 0 0 4096 0 0 0 0 17 0 0 0
/proc/19113/statm: 2202 1681 206 20 0 1560 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 8808

[startup+0.301723 s]
/proc/loadavg: 1.84 1.97 1.98 3/77 19113
/proc/meminfo: memFree=1653296/2055920 swapFree=4148880/4192956
[pid=19113] ppid=19111 vsize=31128 CPUtime=0.32
/proc/19113/stat : 19113 (MiraXTv3_dyn) S 19111 19113 18727 0 -1 4194304 4330 0 0 0 30 2 0 0 19 0 3 0 377288520 31875072 4157 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/19113/statm: 7782 4158 218 20 0 7140 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 31128

[startup+0.701768 s]
/proc/loadavg: 1.84 1.97 1.98 3/77 19113
/proc/meminfo: memFree=1653296/2055920 swapFree=4148880/4192956
[pid=19113] ppid=19111 vsize=31976 CPUtime=1.09
/proc/19113/stat : 19113 (MiraXTv3_dyn) S 19111 19113 18727 0 -1 4194304 4520 0 0 0 107 2 0 0 19 0 3 0 377288520 32743424 4270 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/19113/statm: 7994 4270 218 20 0 7352 0
Current children cumulated CPU time (s) 1.09
Current children cumulated vsize (KiB) 31976

[startup+1.50185 s]
/proc/loadavg: 1.85 1.97 1.98 3/80 19116
/proc/meminfo: memFree=1636312/2055920 swapFree=4148880/4192956
[pid=19113] ppid=19111 vsize=33792 CPUtime=2.69
/proc/19113/stat : 19113 (MiraXTv3_dyn) S 19111 19113 18727 0 -1 4194304 5055 0 0 0 266 3 0 0 19 0 3 0 377288520 34603008 4805 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/19113/statm: 8448 4805 218 20 0 7806 0
[pid=19113/tid=19115] ppid=19111 vsize=33792 CPUtime=1.25
/proc/19113/task/19115/stat : 19115 (MiraXTv3_dyn) R 19111 19113 18727 0 -1 4194368 1558 0 0 0 124 1 0 0 25 0 3 0 377288544 34603008 4805 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526454 0 0 4096 0 0 0 0 -1 0 0 0
[pid=19113/tid=19116] ppid=19111 vsize=33792 CPUtime=1.19
/proc/19113/task/19116/stat : 19116 (MiraXTv3_dyn) R 19111 19113 18727 0 -1 4194368 1381 0 0 0 118 1 0 0 25 0 3 0 377288544 34603008 4805 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.69
Current children cumulated vsize (KiB) 33792

[startup+3.10302 s]
/proc/loadavg: 1.85 1.97 1.98 3/80 19116
/proc/meminfo: memFree=1632280/2055920 swapFree=4148880/4192956
[pid=19113] ppid=19111 vsize=39140 CPUtime=5.89
/proc/19113/stat : 19113 (MiraXTv3_dyn) S 19111 19113 18727 0 -1 4194304 6563 0 0 0 584 5 0 0 19 0 3 0 377288520 40079360 6313 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/19113/statm: 9785 6313 218 20 0 9143 0
[pid=19113/tid=19115] ppid=19111 vsize=39140 CPUtime=2.86
/proc/19113/task/19115/stat : 19115 (MiraXTv3_dyn) R 19111 19113 18727 0 -1 4194368 2422 0 0 0 284 2 0 0 25 0 3 0 377288544 40079360 6313 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526702 0 0 4096 0 0 0 0 -1 0 0 0
[pid=19113/tid=19116] ppid=19111 vsize=39140 CPUtime=2.78
/proc/19113/task/19116/stat : 19116 (MiraXTv3_dyn) R 19111 19113 18727 0 -1 4194368 2025 0 0 0 277 1 0 0 25 0 3 0 377288544 40079360 6313 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526322 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 5.89
Current children cumulated vsize (KiB) 39140

[startup+6.30135 s]
/proc/loadavg: 1.86 1.97 1.98 3/80 19116
/proc/meminfo: memFree=1619480/2055920 swapFree=4148880/4192956
[pid=19113] ppid=19111 vsize=52288 CPUtime=12.27
/proc/19113/stat : 19113 (MiraXTv3_dyn) S 19111 19113 18727 0 -1 4194304 9807 0 0 0 1218 9 0 0 19 0 3 0 377288520 53542912 9557 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/19113/statm: 13072 9557 218 20 0 12430 0
[pid=19113/tid=19115] ppid=19111 vsize=52288 CPUtime=6.05
/proc/19113/task/19115/stat : 19115 (MiraXTv3_dyn) R 19111 19113 18727 0 -1 4194368 4228 0 0 0 601 4 0 0 19 0 3 0 377288544 53542912 9557 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526489 0 0 4096 0 0 0 0 -1 0 0 0
[pid=19113/tid=19116] ppid=19111 vsize=52288 CPUtime=5.97
/proc/19113/task/19116/stat : 19116 (MiraXTv3_dyn) R 19111 19113 18727 0 -1 4194368 3463 0 0 0 593 4 0 0 25 0 3 0 377288544 53542912 9557 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526317 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.27
Current children cumulated vsize (KiB) 52288

[startup+12.702 s]
/proc/loadavg: 1.87 1.97 1.98 3/80 19116
/proc/meminfo: memFree=1594264/2055920 swapFree=4148880/4192956
[pid=19113] ppid=19111 vsize=75968 CPUtime=25.03
/proc/19113/stat : 19113 (MiraXTv3_dyn) S 19111 19113 18727 0 -1 4194304 15832 0 0 0 2486 17 0 0 19 0 3 0 377288520 77791232 15582 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/19113/statm: 18992 15582 218 20 0 18350 0
[pid=19113/tid=19115] ppid=19111 vsize=75968 CPUtime=12.44
/proc/19113/task/19115/stat : 19115 (MiraXTv3_dyn) R 19111 19113 18727 0 -1 4194368 7401 0 0 0 1237 7 0 0 25 0 3 0 377288544 77791232 15582 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134565492 0 0 4096 0 0 0 0 -1 0 0 0
[pid=19113/tid=19116] ppid=19111 vsize=75968 CPUtime=12.34
/proc/19113/task/19116/stat : 19116 (MiraXTv3_dyn) R 19111 19113 18727 0 -1 4194368 6315 0 0 0 1226 8 0 0 25 0 3 0 377288544 77791232 15582 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134565724 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.03
Current children cumulated vsize (KiB) 75968

[startup+25.5013 s]
/proc/loadavg: 1.89 1.97 1.98 3/80 19116
/proc/meminfo: memFree=1566744/2055920 swapFree=4148880/4192956
[pid=19113] ppid=19111 vsize=102416 CPUtime=50.56
/proc/19113/stat : 19113 (MiraXTv3_dyn) S 19111 19113 18727 0 -1 4194304 22313 0 0 0 5032 24 0 0 19 0 3 0 377288520 104873984 22063 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/19113/statm: 25604 22063 218 20 0 24962 0
[pid=19113/tid=19115] ppid=19111 vsize=102416 CPUtime=25.22
/proc/19113/task/19115/stat : 19115 (MiraXTv3_dyn) R 19111 19113 18727 0 -1 4194368 9288 0 0 0 2514 8 0 0 20 0 3 0 377288544 104873984 22063 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 10970747 0 0 4096 0 0 0 0 -1 0 0 0
[pid=19113/tid=19116] ppid=19111 vsize=102416 CPUtime=25.09
/proc/19113/task/19116/stat : 19116 (MiraXTv3_dyn) R 19111 19113 18727 0 -1 4194368 10909 0 0 0 2495 14 0 0 25 0 3 0 377288544 104873984 22063 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526004 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.56
Current children cumulated vsize (KiB) 102416

[startup+51.102 s]
/proc/loadavg: 1.93 1.97 1.98 3/80 19116
/proc/meminfo: memFree=1476056/2055920 swapFree=4148880/4192956
[pid=19113] ppid=19111 vsize=193100 CPUtime=101.65
/proc/19113/stat : 19113 (MiraXTv3_dyn) S 19111 19113 18727 0 -1 4194304 45469 0 0 0 10112 53 0 0 19 0 3 0 377288520 197734400 45024 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/19113/statm: 48275 45024 218 20 0 47633 0
[pid=19113/tid=19115] ppid=19111 vsize=193100 CPUtime=50.81
/proc/19113/task/19115/stat : 19115 (MiraXTv3_dyn) R 19111 19113 18727 0 -1 4194368 21494 0 0 0 5060 21 0 0 25 0 3 0 377288544 197734400 45026 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134517958 0 0 4096 0 0 0 0 -1 0 0 0
[pid=19113/tid=19116] ppid=19111 vsize=193100 CPUtime=50.59
/proc/19113/task/19116/stat : 19116 (MiraXTv3_dyn) R 19111 19113 18727 0 -1 4194368 21861 0 0 0 5029 30 0 0 25 0 3 0 377288544 197734400 45026 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526315 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.65
Current children cumulated vsize (KiB) 193100

[startup+102.306 s]
/proc/loadavg: 1.97 1.97 1.98 3/80 19116
/proc/meminfo: memFree=1416216/2055920 swapFree=4148880/4192956
[pid=19113] ppid=19111 vsize=249588 CPUtime=203.79
/proc/19113/stat : 19113 (MiraXTv3_dyn) S 19111 19113 18727 0 -1 4194304 60085 0 0 0 20309 70 0 0 19 0 3 0 377288520 255578112 59267 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/19113/statm: 62397 59267 218 20 0 61755 0
[pid=19113/tid=19115] ppid=19111 vsize=249588 CPUtime=101.96
/proc/19113/task/19115/stat : 19115 (MiraXTv3_dyn) R 19111 19113 18727 0 -1 4194368 27734 0 0 0 10170 26 0 0 25 0 3 0 377288544 255578112 59267 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=19113/tid=19116] ppid=19111 vsize=249588 CPUtime=101.58
/proc/19113/task/19116/stat : 19116 (MiraXTv3_dyn) R 19111 19113 18727 0 -1 4194368 30235 0 0 0 10116 42 0 0 25 0 3 0 377288544 255578112 59267 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 203.79
Current children cumulated vsize (KiB) 249588

[startup+162.302 s]
/proc/loadavg: 1.99 1.97 1.98 3/80 19116
/proc/meminfo: memFree=1333848/2055920 swapFree=4148880/4192956
[pid=19113] ppid=19111 vsize=332060 CPUtime=323.46
/proc/19113/stat : 19113 (MiraXTv3_dyn) S 19111 19113 18727 0 -1 4194304 81109 0 0 0 32247 99 0 0 19 0 3 0 377288520 340029440 79728 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/19113/statm: 83015 79728 218 20 0 82373 0
[pid=19113/tid=19115] ppid=19111 vsize=332060 CPUtime=161.91
/proc/19113/task/19115/stat : 19115 (MiraXTv3_dyn) R 19111 19113 18727 0 -1 4194368 35812 0 0 0 16156 35 0 0 25 0 3 0 377288544 340029440 79728 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
[pid=19113/tid=19116] ppid=19111 vsize=332060 CPUtime=161.3
/proc/19113/task/19116/stat : 19116 (MiraXTv3_dyn) R 19111 19113 18727 0 -1 4194368 43181 0 0 0 16067 63 0 0 25 0 3 0 377288544 340029440 79728 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134520105 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 323.46
Current children cumulated vsize (KiB) 332060

[startup+222.302 s]
/proc/loadavg: 1.99 1.97 1.98 3/80 19116
/proc/meminfo: memFree=1308248/2055920 swapFree=4148880/4192956
[pid=19113] ppid=19111 vsize=357160 CPUtime=443.16
/proc/19113/stat : 19113 (MiraXTv3_dyn) S 19111 19113 18727 0 -1 4194304 87996 0 0 0 44210 106 0 0 19 0 3 0 377288520 365731840 86153 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/19113/statm: 89290 86153 218 20 0 88648 0
[pid=19113/tid=19115] ppid=19111 vsize=357160 CPUtime=221.86
/proc/19113/task/19115/stat : 19115 (MiraXTv3_dyn) R 19111 19113 18727 0 -1 4194368 42364 0 0 0 22145 41 0 0 25 0 3 0 377288544 365731840 86153 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=19113/tid=19116] ppid=19111 vsize=357160 CPUtime=221.05
/proc/19113/task/19116/stat : 19116 (MiraXTv3_dyn) R 19111 19113 18727 0 -1 4194368 43516 0 0 0 22042 63 0 0 25 0 3 0 377288544 365731840 86153 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134565715 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 443.16
Current children cumulated vsize (KiB) 357160

[startup+282.301 s]
/proc/loadavg: 1.99 1.97 1.98 3/80 19116
/proc/meminfo: memFree=1308056/2055920 swapFree=4148880/4192956
[pid=19113] ppid=19111 vsize=357160 CPUtime=562.88
/proc/19113/stat : 19113 (MiraXTv3_dyn) S 19111 19113 18727 0 -1 4194304 88475 0 0 0 56181 107 0 0 19 0 3 0 377288520 365731840 86163 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/19113/statm: 89290 86163 218 20 0 88648 0
[pid=19113/tid=19115] ppid=19111 vsize=357160 CPUtime=281.81
/proc/19113/task/19115/stat : 19115 (MiraXTv3_dyn) R 19111 19113 18727 0 -1 4194368 42567 0 0 0 28140 41 0 0 25 0 3 0 377288544 365731840 86163 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526454 0 0 4096 0 0 0 0 -1 0 0 0
[pid=19113/tid=19116] ppid=19111 vsize=357160 CPUtime=280.82
/proc/19113/task/19116/stat : 19116 (MiraXTv3_dyn) R 19111 19113 18727 0 -1 4194368 43792 0 0 0 28018 64 0 0 25 0 3 0 377288544 365731840 86163 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 562.88
Current children cumulated vsize (KiB) 357160

[startup+342.301 s]
/proc/loadavg: 1.99 1.97 1.98 3/80 19116
/proc/meminfo: memFree=1287704/2055920 swapFree=4148880/4192956
[pid=19113] ppid=19111 vsize=377612 CPUtime=682.55
/proc/19113/stat : 19113 (MiraXTv3_dyn) S 19111 19113 18727 0 -1 4194304 93966 0 0 0 68141 114 0 0 19 0 3 0 377288520 386674688 91246 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/19113/statm: 94403 91246 218 20 0 93761 0
[pid=19113/tid=19115] ppid=19111 vsize=377612 CPUtime=341.74
/proc/19113/task/19115/stat : 19115 (MiraXTv3_dyn) R 19111 19113 18727 0 -1 4194368 45600 0 0 0 34130 44 0 0 25 0 3 0 377288544 386674688 91246 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
[pid=19113/tid=19116] ppid=19111 vsize=377612 CPUtime=340.57
/proc/19113/task/19116/stat : 19116 (MiraXTv3_dyn) R 19111 19113 18727 0 -1 4194368 46250 0 0 0 33988 69 0 0 25 0 3 0 377288544 386674688 91246 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 682.55
Current children cumulated vsize (KiB) 377612

[startup+402.302 s]

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

/proc/19113/task/19115/stat : 19115 (MiraXTv3_dyn) R 19111 19113 18727 0 -1 4194368 66307 0 0 0 189961 66 0 0 25 0 3 0 377288544 488198144 116240 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
[pid=19113/tid=19116] ppid=19111 vsize=476756 CPUtime=1894.1
/proc/19113/task/19116/stat : 19116 (MiraXTv3_dyn) R 19111 19113 18727 0 -1 4194368 53328 0 0 0 189319 91 0 0 25 0 3 0 377288544 488198144 116240 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526632 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3794.63
Current children cumulated vsize (KiB) 476756

[startup+1962.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/86 19190
/proc/meminfo: memFree=1186192/2055920 swapFree=4148880/4192956
[pid=19113] ppid=19111 vsize=476756 CPUtime=3914.25
/proc/19113/stat : 19113 (MiraXTv3_dyn) S 19111 19113 18727 0 -1 4194304 121976 0 0 0 391256 169 0 0 19 0 3 0 377288520 488198144 116243 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/19113/statm: 119189 116243 218 20 0 118547 0
[pid=19113/tid=19115] ppid=19111 vsize=476756 CPUtime=1960.21
/proc/19113/task/19115/stat : 19115 (MiraXTv3_dyn) R 19111 19113 18727 0 -1 4194368 66532 0 0 0 195945 76 0 0 25 0 3 0 377288544 488198144 116243 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526717 0 0 4096 0 0 0 0 -1 0 0 0
[pid=19113/tid=19116] ppid=19111 vsize=476756 CPUtime=1953.8
/proc/19113/task/19116/stat : 19116 (MiraXTv3_dyn) R 19111 19113 18727 0 -1 4194368 53328 0 0 0 195288 92 0 0 25 0 3 0 377288544 488198144 116243 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526370 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3914.25
Current children cumulated vsize (KiB) 476756

[startup+2022.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/80 19316
/proc/meminfo: memFree=1134744/2055920 swapFree=4148880/4192956
[pid=19113] ppid=19111 vsize=529376 CPUtime=4033.67
/proc/19113/stat : 19113 (MiraXTv3_dyn) S 19111 19113 18727 0 -1 4194304 135399 0 0 0 403164 203 0 0 19 0 3 0 377288520 542081024 129370 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/19113/statm: 132344 129370 218 20 0 131702 0
[pid=19113/tid=19115] ppid=19111 vsize=529376 CPUtime=2020.05
/proc/19113/task/19115/stat : 19115 (MiraXTv3_dyn) R 19111 19113 18727 0 -1 4194368 67737 0 0 0 201913 92 0 0 25 0 3 0 377288544 542081024 129370 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526454 0 0 4096 0 0 0 0 -1 0 0 0
[pid=19113/tid=19116] ppid=19111 vsize=529376 CPUtime=2013.37
/proc/19113/task/19116/stat : 19116 (MiraXTv3_dyn) R 19111 19113 18727 0 -1 4194368 65546 0 0 0 201227 110 0 0 25 0 3 0 377288544 542081024 129370 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4033.67
Current children cumulated vsize (KiB) 529376

[startup+2082.31 s]
/proc/loadavg: 2.00 2.00 1.99 3/80 19316
/proc/meminfo: memFree=1134680/2055920 swapFree=4148880/4192956
[pid=19113] ppid=19111 vsize=529376 CPUtime=4153.4
/proc/19113/stat : 19113 (MiraXTv3_dyn) S 19111 19113 18727 0 -1 4194304 135547 0 0 0 415136 204 0 0 19 0 3 0 377288520 542081024 129370 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/19113/statm: 132344 129370 218 20 0 131702 0
[pid=19113/tid=19115] ppid=19111 vsize=529376 CPUtime=2080.01
/proc/19113/task/19115/stat : 19115 (MiraXTv3_dyn) R 19111 19113 18727 0 -1 4194368 67737 0 0 0 207909 92 0 0 25 0 3 0 377288544 542081024 129370 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
[pid=19113/tid=19116] ppid=19111 vsize=529376 CPUtime=2073.13
/proc/19113/task/19116/stat : 19116 (MiraXTv3_dyn) R 19111 19113 18727 0 -1 4194368 65694 0 0 0 207203 110 0 0 25 0 3 0 377288544 542081024 129370 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526315 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4153.4
Current children cumulated vsize (KiB) 529376

[startup+2142.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/80 19316
/proc/meminfo: memFree=1108184/2055920 swapFree=4148880/4192956
[pid=19113] ppid=19111 vsize=556300 CPUtime=4273.09
/proc/19113/stat : 19113 (MiraXTv3_dyn) S 19111 19113 18727 0 -1 4194304 142477 0 0 0 427094 215 0 0 19 0 3 0 377288520 569651200 136004 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/19113/statm: 139075 136004 218 20 0 138433 0
[pid=19113/tid=19115] ppid=19111 vsize=556300 CPUtime=2139.95
/proc/19113/task/19115/stat : 19115 (MiraXTv3_dyn) R 19111 19113 18727 0 -1 4194368 72335 0 0 0 213898 97 0 0 25 0 3 0 377288544 569651200 136004 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
[pid=19113/tid=19116] ppid=19111 vsize=556300 CPUtime=2132.88
/proc/19113/task/19116/stat : 19116 (MiraXTv3_dyn) R 19111 19113 18727 0 -1 4194368 68026 0 0 0 213172 116 0 0 25 0 3 0 377288544 569651200 136004 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526702 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4273.09
Current children cumulated vsize (KiB) 556300

[startup+2202.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/80 19316
/proc/meminfo: memFree=1108184/2055920 swapFree=4148880/4192956
[pid=19113] ppid=19111 vsize=556300 CPUtime=4392.81
/proc/19113/stat : 19113 (MiraXTv3_dyn) S 19111 19113 18727 0 -1 4194304 142700 0 0 0 439066 215 0 0 19 0 3 0 377288520 569651200 136005 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/19113/statm: 139075 136005 218 20 0 138433 0
[pid=19113/tid=19115] ppid=19111 vsize=556300 CPUtime=2199.91
/proc/19113/task/19115/stat : 19115 (MiraXTv3_dyn) R 19111 19113 18727 0 -1 4194368 72558 0 0 0 219894 97 0 0 25 0 3 0 377288544 569651200 136005 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=19113/tid=19116] ppid=19111 vsize=556300 CPUtime=2192.64
/proc/19113/task/19116/stat : 19116 (MiraXTv3_dyn) R 19111 19113 18727 0 -1 4194368 68026 0 0 0 219148 116 0 0 25 0 3 0 377288544 569651200 136005 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4392.81
Current children cumulated vsize (KiB) 556300

[startup+2262.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/80 19316
/proc/meminfo: memFree=1108184/2055920 swapFree=4148880/4192956
[pid=19113] ppid=19111 vsize=556300 CPUtime=4512.49
/proc/19113/stat : 19113 (MiraXTv3_dyn) S 19111 19113 18727 0 -1 4194304 142848 0 0 0 451033 216 0 0 19 0 3 0 377288520 569651200 136005 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/19113/statm: 139075 136005 218 20 0 138433 0
[pid=19113/tid=19115] ppid=19111 vsize=556300 CPUtime=2259.84
/proc/19113/task/19115/stat : 19115 (MiraXTv3_dyn) R 19111 19113 18727 0 -1 4194368 72706 0 0 0 225887 97 0 0 25 0 3 0 377288544 569651200 136005 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 10970780 0 0 4096 0 0 0 0 -1 0 0 0
[pid=19113/tid=19116] ppid=19111 vsize=556300 CPUtime=2252.4
/proc/19113/task/19116/stat : 19116 (MiraXTv3_dyn) R 19111 19113 18727 0 -1 4194368 68026 0 0 0 225123 117 0 0 25 0 3 0 377288544 569651200 136005 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4512.49
Current children cumulated vsize (KiB) 556300

[startup+2322.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/80 19316
/proc/meminfo: memFree=1108312/2055920 swapFree=4148880/4192956
[pid=19113] ppid=19111 vsize=556300 CPUtime=4632.21
/proc/19113/stat : 19113 (MiraXTv3_dyn) S 19111 19113 18727 0 -1 4194304 142848 0 0 0 463004 217 0 0 19 0 3 0 377288520 569651200 136005 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/19113/statm: 139075 136005 218 20 0 138433 0
[pid=19113/tid=19115] ppid=19111 vsize=556300 CPUtime=2319.8
/proc/19113/task/19115/stat : 19115 (MiraXTv3_dyn) R 19111 19113 18727 0 -1 4194368 72706 0 0 0 231883 97 0 0 25 0 3 0 377288544 569651200 136005 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134525987 0 0 4096 0 0 0 0 -1 0 0 0
[pid=19113/tid=19116] ppid=19111 vsize=556300 CPUtime=2312.17
/proc/19113/task/19116/stat : 19116 (MiraXTv3_dyn) R 19111 19113 18727 0 -1 4194368 68026 0 0 0 231099 118 0 0 25 0 3 0 377288544 569651200 136005 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134520184 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4632.21
Current children cumulated vsize (KiB) 556300

[startup+2382.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/80 19316
/proc/meminfo: memFree=1108312/2055920 swapFree=4148880/4192956
[pid=19113] ppid=19111 vsize=556300 CPUtime=4751.91
/proc/19113/stat : 19113 (MiraXTv3_dyn) S 19111 19113 18727 0 -1 4194304 142856 0 0 0 474974 217 0 0 19 0 3 0 377288520 569651200 136013 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/19113/statm: 139075 136013 218 20 0 138433 0
[pid=19113/tid=19115] ppid=19111 vsize=556300 CPUtime=2379.75
/proc/19113/task/19115/stat : 19115 (MiraXTv3_dyn) R 19111 19113 18727 0 -1 4194368 72711 0 0 0 237877 98 0 0 25 0 3 0 377288544 569651200 136013 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526720 0 0 4096 0 0 0 0 -1 0 0 0
[pid=19113/tid=19116] ppid=19111 vsize=556300 CPUtime=2371.92
/proc/19113/task/19116/stat : 19116 (MiraXTv3_dyn) R 19111 19113 18727 0 -1 4194368 68029 0 0 0 237074 118 0 0 25 0 3 0 377288544 569651200 136013 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134520492 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4751.91
Current children cumulated vsize (KiB) 556300

[startup+2442.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/80 19316
/proc/meminfo: memFree=1108248/2055920 swapFree=4148880/4192956
[pid=19113] ppid=19111 vsize=556300 CPUtime=4871.64
/proc/19113/stat : 19113 (MiraXTv3_dyn) S 19111 19113 18727 0 -1 4194304 142862 0 0 0 486946 218 0 0 19 0 3 0 377288520 569651200 136019 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/19113/statm: 139075 136019 218 20 0 138433 0
[pid=19113/tid=19115] ppid=19111 vsize=556300 CPUtime=2439.71
/proc/19113/task/19115/stat : 19115 (MiraXTv3_dyn) R 19111 19113 18727 0 -1 4194368 72714 0 0 0 243873 98 0 0 25 0 3 0 377288544 569651200 136019 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
[pid=19113/tid=19116] ppid=19111 vsize=556300 CPUtime=2431.68
/proc/19113/task/19116/stat : 19116 (MiraXTv3_dyn) R 19111 19113 18727 0 -1 4194368 68032 0 0 0 243050 118 0 0 25 0 3 0 377288544 569651200 136019 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4871.64
Current children cumulated vsize (KiB) 556300

[startup+2502.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/80 19316
/proc/meminfo: memFree=1108312/2055920 swapFree=4148880/4192956
[pid=19113] ppid=19111 vsize=556300 CPUtime=4991.31
/proc/19113/stat : 19113 (MiraXTv3_dyn) S 19111 19113 18727 0 -1 4194304 142862 0 0 0 498913 218 0 0 19 0 3 0 377288520 569651200 136019 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/19113/statm: 139075 136019 218 20 0 138433 0
[pid=19113/tid=19115] ppid=19111 vsize=556300 CPUtime=2499.64
/proc/19113/task/19115/stat : 19115 (MiraXTv3_dyn) R 19111 19113 18727 0 -1 4194368 72714 0 0 0 249866 98 0 0 25 0 3 0 377288544 569651200 136019 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
[pid=19113/tid=19116] ppid=19111 vsize=556300 CPUtime=2491.43
/proc/19113/task/19116/stat : 19116 (MiraXTv3_dyn) R 19111 19113 18727 0 -1 4194368 68032 0 0 0 249024 119 0 0 25 0 3 0 377288544 569651200 136019 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4991.31
Current children cumulated vsize (KiB) 556300



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2506.7 s]
/proc/loadavg: 2.00 2.00 1.99 3/80 19316
/proc/meminfo: memFree=1108312/2055920 swapFree=4148880/4192956
[pid=19113] ppid=19111 vsize=556300 CPUtime=5000.1
/proc/19113/stat : 19113 (MiraXTv3_dyn) S 19111 19113 18727 0 -1 4194304 142862 0 0 0 499792 218 0 0 19 0 3 0 377288520 569651200 136019 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/19113/statm: 139075 136019 218 20 0 138433 0
[pid=19113/tid=19115] ppid=19111 vsize=556300 CPUtime=2504.04
/proc/19113/task/19115/stat : 19115 (MiraXTv3_dyn) R 19111 19113 18727 0 -1 4194368 72714 0 0 0 250306 98 0 0 25 0 3 0 377288544 569651200 136019 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526720 0 0 4096 0 0 0 0 -1 0 0 0
[pid=19113/tid=19116] ppid=19111 vsize=556300 CPUtime=2495.82
/proc/19113/task/19116/stat : 19116 (MiraXTv3_dyn) R 19111 19113 18727 0 -1 4194368 68032 0 0 0 249463 119 0 0 25 0 3 0 377288544 569651200 136019 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526291 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 5000.1
Current children cumulated vsize (KiB) 556300

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

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

[startup+2506.7 s]
/proc/loadavg: 2.00 2.00 1.99 3/80 19316
/proc/meminfo: memFree=1108312/2055920 swapFree=4148880/4192956
[pid=19113] ppid=19111 vsize=556300 CPUtime=5000.1
/proc/19113/stat : 19113 (MiraXTv3_dyn) S 19111 19113 18727 0 -1 4194304 142862 0 0 0 499792 218 0 0 19 0 3 0 377288520 569651200 136019 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/19113/statm: 139075 136019 218 20 0 138433 0
[pid=19113/tid=19115] ppid=19111 vsize=556300 CPUtime=2504.04
/proc/19113/task/19115/stat : 19115 (MiraXTv3_dyn) R 19111 19113 18727 0 -1 4194368 72714 0 0 0 250306 98 0 0 25 0 3 0 377288544 569651200 136019 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526720 0 0 4096 0 0 0 0 -1 0 0 0
[pid=19113/tid=19116] ppid=19111 vsize=556300 CPUtime=2495.82
/proc/19113/task/19116/stat : 19116 (MiraXTv3_dyn) R 19111 19113 18727 0 -1 4194368 68032 0 0 0 249463 119 0 0 25 0 3 0 377288544 569651200 136019 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526291 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 5000.1
Current children cumulated vsize (KiB) 556300

Child ended because it received signal 15 (SIGTERM)
Real time (s): 2506.8
CPU time (s): 5000.21
CPU user time (s): 4997.94
CPU system time (s): 2.27365
CPU usage (%): 199.466
Max. virtual memory (cumulated for all children) (KiB): 556300

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4997.94
system time used= 2.27365
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 142862
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= 777
involuntary context switches= 93740

runsolver used 2.70059 second user time and 6.50901 second system time

The end

Launcher Data (download as text)

Begin job on node2 on Sat May 12 23:28:27 UTC 2007

IDJOB= 426363
IDBENCH= 20188
IDSOLVER= 196
FILE ID= node2/426363-1179012507

PBS_JOBID= 5252855

Free space on /tmp= 66547 MiB

SOLVER NAME= MiraXT v3
BENCH NAME= HOME/pub/bench/SAT07/random/LargeSize/3SAT/v13000/unif-k3-r4.2-v13000-c54600-S883878972-08.cnf
COMMAND LINE= /tmp/evaluation/426363-1179012507/MiraXTv3_dyn /tmp/evaluation/426363-1179012507/instance-426363-1179012507.cnf
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node2/watcher-426363-1179012507 -o ROOT/results/node2/solver-426363-1179012507 -C 5000 -W 7500 -M 1800 --output-limit 1,15  /tmp/evaluation/426363-1179012507/MiraXTv3_dyn /tmp/evaluation/426363-1179012507/instance-426363-1179012507.cnf

META MD5SUM SOLVER= 2ad149617ed8d249d89b067eb44c33da
MD5SUM BENCH=  28ae03a20ed33a70e6a5afd2d43adafd

RANDOM SEED= 605157697

TIME LIMIT= 5000 seconds
MEMORY LIMIT= 1800 MiB

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

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

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1653512 kB
Buffers:         47780 kB
Cached:         265296 kB
SwapCached:      12372 kB
Active:         150268 kB
Inactive:       186180 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1653512 kB
SwapTotal:     4192956 kB
SwapFree:      4148880 kB
Dirty:            4928 kB
Writeback:           0 kB
Mapped:          30244 kB
Slab:            51392 kB
Committed_AS: 11847896 kB
PageTables:       1860 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66547 MiB

End job on node2 on Sun May 13 00:10:16 UTC 2007