Trace number 426131

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 2507.43

General information on the benchmark

Namerandom/OnTreshold/7SAT/v75/
unif-k7-r89-v75-c6675-S1534329206-02.SAT.shuffled.cnf
MD5SUM48336611587b1b84ef747574302cca31
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.768883
Satisfiable
(Un)Satisfiability was proved
Number of variables75
Number of clauses6675
Sum of the clauses size46725
Maximum clause length7
Minimum clause length7
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 50
Number of clauses of size over 56675

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/node20/watcher-426131-1178989507 -o ROOT/results/node20/solver-426131-1178989507 -C 5000 -W 7500 -M 1800 --output-limit 1,15 /tmp/evaluation/426131-1178989507/MiraXTv3_dyn /tmp/evaluation/426131-1178989507/instance-426131-1178989507.cnf 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 5000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 5030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 7500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.83 1.94 1.94 3/77 22020
/proc/meminfo: memFree=1657048/2055920 swapFree=4154884/4192956
[pid=22020] ppid=22018 vsize=3788 CPUtime=0
/proc/22020/stat : 22020 (MiraXTv3_dyn) R 22018 22020 21948 0 -1 4194304 313 0 0 0 0 0 0 0 18 0 1 0 346868022 3878912 288 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 8054395 0 0 4096 0 0 0 0 17 1 0 0
/proc/22020/statm: 947 289 206 20 0 305 0

[startup+0.071931 s]
/proc/loadavg: 1.83 1.94 1.94 3/77 22020
/proc/meminfo: memFree=1657048/2055920 swapFree=4154884/4192956
[pid=22020] ppid=22018 vsize=4444 CPUtime=0.06
/proc/22020/stat : 22020 (MiraXTv3_dyn) R 22018 22020 21948 0 -1 4194304 467 0 0 0 6 0 0 0 18 0 1 0 346868022 4550656 442 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134583871 0 0 4096 0 0 0 0 17 1 0 0
/proc/22020/statm: 1111 442 207 20 0 469 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 4444

[startup+0.101936 s]
/proc/loadavg: 1.83 1.94 1.94 3/77 22020
/proc/meminfo: memFree=1657048/2055920 swapFree=4154884/4192956
[pid=22020] ppid=22018 vsize=4444 CPUtime=0.09
/proc/22020/stat : 22020 (MiraXTv3_dyn) R 22018 22020 21948 0 -1 4194304 474 0 0 0 9 0 0 0 18 0 1 0 346868022 4550656 449 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134583912 0 0 4096 0 0 0 0 17 1 0 0
/proc/22020/statm: 1111 449 207 20 0 469 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4444

[startup+0.301981 s]
/proc/loadavg: 1.83 1.94 1.94 3/77 22020
/proc/meminfo: memFree=1657048/2055920 swapFree=4154884/4192956
[pid=22020] ppid=22018 vsize=8968 CPUtime=0.43
/proc/22020/stat : 22020 (MiraXTv3_dyn) S 22018 22020 21948 0 -1 4194304 1040 0 0 0 43 0 0 0 18 0 3 0 346868022 9183232 1015 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/22020/statm: 2242 1015 218 20 0 1600 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 8968

[startup+0.702063 s]
/proc/loadavg: 1.83 1.94 1.94 3/77 22020
/proc/meminfo: memFree=1657048/2055920 swapFree=4154884/4192956
[pid=22020] ppid=22018 vsize=12568 CPUtime=1.24
/proc/22020/stat : 22020 (MiraXTv3_dyn) S 22018 22020 21948 0 -1 4194304 1853 0 0 0 123 1 0 0 18 0 3 0 346868022 12869632 1828 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/22020/statm: 3142 1828 218 20 0 2500 0
Current children cumulated CPU time (s) 1.24
Current children cumulated vsize (KiB) 12568

[startup+1.50122 s]
/proc/loadavg: 1.83 1.94 1.94 3/80 22023
/proc/meminfo: memFree=1648576/2055920 swapFree=4154884/4192956
[pid=22020] ppid=22018 vsize=16700 CPUtime=2.83
/proc/22020/stat : 22020 (MiraXTv3_dyn) S 22018 22020 21948 0 -1 4194304 2932 0 0 0 281 2 0 0 18 0 3 0 346868022 17100800 2907 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/22020/statm: 4175 2907 218 20 0 3533 0
[pid=22020/tid=22022] ppid=22018 vsize=16700 CPUtime=1.34
/proc/22020/task/22022/stat : 22022 (MiraXTv3_dyn) R 22018 22020 21948 0 -1 4194368 1219 0 0 0 134 0 0 0 23 0 3 0 346868036 17100800 2907 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134565842 0 0 4096 0 0 0 0 -1 1 0 0
[pid=22020/tid=22023] ppid=22018 vsize=16700 CPUtime=1.33
/proc/22020/task/22023/stat : 22023 (MiraXTv3_dyn) R 22018 22020 21948 0 -1 4194368 1201 0 0 0 132 1 0 0 17 0 3 0 346868036 17100800 2907 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526702 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.83
Current children cumulated vsize (KiB) 16700

[startup+3.10155 s]
/proc/loadavg: 1.83 1.94 1.94 3/80 22023
/proc/meminfo: memFree=1645248/2055920 swapFree=4154884/4192956
[pid=22020] ppid=22018 vsize=19220 CPUtime=6.02
/proc/22020/stat : 22020 (MiraXTv3_dyn) S 22018 22020 21948 0 -1 4194304 3644 0 0 0 600 2 0 0 18 0 3 0 346868022 19681280 3583 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/22020/statm: 4805 3583 218 20 0 4163 0
[pid=22020/tid=22022] ppid=22018 vsize=19220 CPUtime=2.94
/proc/22020/task/22022/stat : 22022 (MiraXTv3_dyn) R 22018 22020 21948 0 -1 4194368 1529 0 0 0 294 0 0 0 25 0 3 0 346868036 19681280 3583 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526477 0 0 4096 0 0 0 0 -1 1 0 0
[pid=22020/tid=22023] ppid=22018 vsize=19220 CPUtime=2.92
/proc/22020/task/22023/stat : 22023 (MiraXTv3_dyn) R 22018 22020 21948 0 -1 4194368 1603 0 0 0 291 1 0 0 25 0 3 0 346868036 19681280 3583 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526358 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.02
Current children cumulated vsize (KiB) 19220

[startup+6.30119 s]
/proc/loadavg: 1.85 1.94 1.94 3/80 22023
/proc/meminfo: memFree=1636496/2055920 swapFree=4154884/4192956
[pid=22020] ppid=22018 vsize=27452 CPUtime=12.4
/proc/22020/stat : 22020 (MiraXTv3_dyn) S 22018 22020 21948 0 -1 4194304 5990 0 0 0 1236 4 0 0 18 0 3 0 346868022 28110848 5817 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/22020/statm: 6863 5817 218 20 0 6221 0
[pid=22020/tid=22022] ppid=22018 vsize=27452 CPUtime=6.14
/proc/22020/task/22022/stat : 22022 (MiraXTv3_dyn) R 22018 22020 21948 0 -1 4194368 2737 0 0 0 613 1 0 0 25 0 3 0 346868036 28110848 5817 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526440 0 0 4096 0 0 0 0 -1 1 0 0
[pid=22020/tid=22023] ppid=22018 vsize=27452 CPUtime=6.11
/proc/22020/task/22023/stat : 22023 (MiraXTv3_dyn) R 22018 22020 21948 0 -1 4194368 2741 0 0 0 609 2 0 0 25 0 3 0 346868036 28110848 5817 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.4
Current children cumulated vsize (KiB) 27452

[startup+12.7015 s]
/proc/loadavg: 1.86 1.94 1.94 3/80 22023
/proc/meminfo: memFree=1626704/2055920 swapFree=4154884/4192956
[pid=22020] ppid=22018 vsize=36084 CPUtime=25.16
/proc/22020/stat : 22020 (MiraXTv3_dyn) S 22018 22020 21948 0 -1 4194304 8150 0 0 0 2510 6 0 0 18 0 3 0 346868022 36950016 7679 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/22020/statm: 9021 7679 218 20 0 8379 0
[pid=22020/tid=22022] ppid=22018 vsize=36084 CPUtime=12.53
/proc/22020/task/22022/stat : 22022 (MiraXTv3_dyn) R 22018 22020 21948 0 -1 4194368 3797 0 0 0 1251 2 0 0 23 0 3 0 346868036 36950016 7679 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=22020/tid=22023] ppid=22018 vsize=36084 CPUtime=12.48
/proc/22020/task/22023/stat : 22023 (MiraXTv3_dyn) R 22018 22020 21948 0 -1 4194368 3841 0 0 0 1245 3 0 0 25 0 3 0 346868036 36950016 7679 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.16
Current children cumulated vsize (KiB) 36084

[startup+25.5021 s]
/proc/loadavg: 1.89 1.94 1.94 3/80 22023
/proc/meminfo: memFree=1617104/2055920 swapFree=4154884/4192956
[pid=22020] ppid=22018 vsize=45236 CPUtime=50.69
/proc/22020/stat : 22020 (MiraXTv3_dyn) S 22018 22020 21948 0 -1 4194304 10996 0 0 0 5060 9 0 0 18 0 3 0 346868022 46321664 10047 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/22020/statm: 11309 10047 218 20 0 10667 0
[pid=22020/tid=22022] ppid=22018 vsize=45236 CPUtime=25.31
/proc/22020/task/22022/stat : 22022 (MiraXTv3_dyn) R 22018 22020 21948 0 -1 4194368 5196 0 0 0 2528 3 0 0 25 0 3 0 346868036 46321664 10047 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526404 0 0 4096 0 0 0 0 -1 1 0 0
[pid=22020/tid=22023] ppid=22018 vsize=45236 CPUtime=25.22
/proc/22020/task/22023/stat : 22023 (MiraXTv3_dyn) R 22018 22020 21948 0 -1 4194368 5288 0 0 0 2517 5 0 0 25 0 3 0 346868036 46321664 10047 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526457 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.69
Current children cumulated vsize (KiB) 45236

[startup+51.1022 s]
/proc/loadavg: 1.93 1.94 1.94 3/80 22023
/proc/meminfo: memFree=1613712/2055920 swapFree=4154884/4192956
[pid=22020] ppid=22018 vsize=48968 CPUtime=101.74
/proc/22020/stat : 22020 (MiraXTv3_dyn) S 22018 22020 21948 0 -1 4194304 12994 0 0 0 10162 12 0 0 18 0 3 0 346868022 50143232 11012 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/22020/statm: 12242 11012 218 20 0 11600 0
[pid=22020/tid=22022] ppid=22018 vsize=48968 CPUtime=50.89
/proc/22020/task/22022/stat : 22022 (MiraXTv3_dyn) R 22018 22020 21948 0 -1 4194368 6171 0 0 0 5085 4 0 0 25 0 3 0 346868036 50143232 11012 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=22020/tid=22023] ppid=22018 vsize=48968 CPUtime=50.68
/proc/22020/task/22023/stat : 22023 (MiraXTv3_dyn) R 22018 22020 21948 0 -1 4194368 6311 0 0 0 5062 6 0 0 25 0 3 0 346868036 50143232 11012 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526489 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.74
Current children cumulated vsize (KiB) 48968

[startup+102.307 s]
/proc/loadavg: 1.97 1.95 1.94 3/80 22023
/proc/meminfo: memFree=1610192/2055920 swapFree=4154884/4192956
[pid=22020] ppid=22018 vsize=51292 CPUtime=203.83
/proc/22020/stat : 22020 (MiraXTv3_dyn) S 22018 22020 21948 0 -1 4194304 15765 0 0 0 20369 14 0 0 18 0 3 0 346868022 52523008 11737 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/22020/statm: 12823 11737 218 20 0 12181 0
[pid=22020/tid=22022] ppid=22018 vsize=51292 CPUtime=102.05
/proc/22020/task/22022/stat : 22022 (MiraXTv3_dyn) R 22018 22020 21948 0 -1 4194368 7485 0 0 0 10199 6 0 0 25 0 3 0 346868036 52523008 11737 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=22020/tid=22023] ppid=22018 vsize=51292 CPUtime=101.62
/proc/22020/task/22023/stat : 22023 (MiraXTv3_dyn) R 22018 22020 21948 0 -1 4194368 7768 0 0 0 10155 7 0 0 25 0 3 0 346868036 52523008 11737 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 203.83
Current children cumulated vsize (KiB) 51292

[startup+162.303 s]
/proc/loadavg: 1.99 1.95 1.94 3/80 22023
/proc/meminfo: memFree=1607376/2055920 swapFree=4154884/4192956
[pid=22020] ppid=22018 vsize=54560 CPUtime=323.47
/proc/22020/stat : 22020 (MiraXTv3_dyn) S 22018 22020 21948 0 -1 4194304 18711 0 0 0 32331 16 0 0 18 0 3 0 346868022 55869440 12437 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/22020/statm: 13640 12437 218 20 0 12998 0
[pid=22020/tid=22022] ppid=22018 vsize=54560 CPUtime=161.98
/proc/22020/task/22022/stat : 22022 (MiraXTv3_dyn) R 22018 22020 21948 0 -1 4194368 8897 0 0 0 16191 7 0 0 25 0 3 0 346868036 55869440 12437 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134525965 0 0 4096 0 0 0 0 -1 1 0 0
[pid=22020/tid=22023] ppid=22018 vsize=54560 CPUtime=161.33
/proc/22020/task/22023/stat : 22023 (MiraXTv3_dyn) R 22018 22020 21948 0 -1 4194368 9302 0 0 0 16125 8 0 0 25 0 3 0 346868036 55869440 12437 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526309 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 323.47
Current children cumulated vsize (KiB) 54560

[startup+222.302 s]
/proc/loadavg: 1.99 1.96 1.94 3/80 22023
/proc/meminfo: memFree=1605264/2055920 swapFree=4154884/4192956
[pid=22020] ppid=22018 vsize=56568 CPUtime=443.12
/proc/22020/stat : 22020 (MiraXTv3_dyn) S 22018 22020 21948 0 -1 4194304 21510 0 0 0 44293 19 0 0 18 0 3 0 346868022 57925632 13028 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/22020/statm: 14142 13028 218 20 0 13500 0
[pid=22020/tid=22022] ppid=22018 vsize=56568 CPUtime=221.94
/proc/22020/task/22022/stat : 22022 (MiraXTv3_dyn) R 22018 22020 21948 0 -1 4194368 10259 0 0 0 22185 9 0 0 16 0 3 0 346868036 57925632 13028 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 8052220 0 0 4096 0 0 0 0 -1 1 0 0
[pid=22020/tid=22023] ppid=22018 vsize=56568 CPUtime=221.03
/proc/22020/task/22023/stat : 22023 (MiraXTv3_dyn) R 22018 22020 21948 0 -1 4194368 10739 0 0 0 22094 9 0 0 19 0 3 0 346868036 57925632 13028 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526702 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 443.12
Current children cumulated vsize (KiB) 56568

[startup+282.302 s]
/proc/loadavg: 1.99 1.97 1.94 3/80 22023
/proc/meminfo: memFree=1601424/2055920 swapFree=4154884/4192956
[pid=22020] ppid=22018 vsize=60408 CPUtime=562.78
/proc/22020/stat : 22020 (MiraXTv3_dyn) S 22018 22020 21948 0 -1 4194304 24606 0 0 0 56256 22 0 0 18 0 3 0 346868022 61857792 14114 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/22020/statm: 15102 14114 218 20 0 14460 0
[pid=22020/tid=22022] ppid=22018 vsize=60408 CPUtime=281.89
/proc/22020/task/22022/stat : 22022 (MiraXTv3_dyn) R 22018 22020 21948 0 -1 4194368 12048 0 0 0 28178 11 0 0 25 0 3 0 346868036 61857792 14114 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=22020/tid=22023] ppid=22018 vsize=60408 CPUtime=280.74
/proc/22020/task/22023/stat : 22023 (MiraXTv3_dyn) R 22018 22020 21948 0 -1 4194368 12046 0 0 0 28064 10 0 0 25 0 3 0 346868036 61857792 14114 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526351 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 562.78
Current children cumulated vsize (KiB) 60408

[startup+342.302 s]
/proc/loadavg: 1.99 1.97 1.94 3/80 22023
/proc/meminfo: memFree=1595984/2055920 swapFree=4154884/4192956
[pid=22020] ppid=22018 vsize=65368 CPUtime=682.39
/proc/22020/stat : 22020 (MiraXTv3_dyn) S 22018 22020 21948 0 -1 4194304 28099 0 0 0 68213 26 0 0 18 0 3 0 346868022 66936832 15329 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/22020/statm: 16342 15329 218 20 0 15700 0
[pid=22020/tid=22022] ppid=22018 vsize=65368 CPUtime=341.78
/proc/22020/task/22022/stat : 22022 (MiraXTv3_dyn) R 22018 22020 21948 0 -1 4194368 13870 0 0 0 34165 13 0 0 25 0 3 0 346868036 66936832 15329 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526477 0 0 4096 0 0 0 0 -1 1 0 0
[pid=22020/tid=22023] ppid=22018 vsize=65368 CPUtime=340.45
/proc/22020/task/22023/stat : 22023 (MiraXTv3_dyn) R 22018 22020 21948 0 -1 4194368 13717 0 0 0 34033 12 0 0 25 0 3 0 346868036 66936832 15329 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 682.39
Current children cumulated vsize (KiB) 65368

[startup+402.302 s]

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

/proc/22020/task/22022/stat : 22022 (MiraXTv3_dyn) R 22018 22020 21948 0 -1 4194368 40502 0 0 0 183818 40 0 0 25 0 3 0 346868036 91742208 21191 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526702 0 0 4096 0 0 0 0 -1 0 0 0
[pid=22020/tid=22023] ppid=22018 vsize=89592 CPUtime=1835.01
/proc/22020/task/22023/stat : 22023 (MiraXTv3_dyn) R 22018 22020 21948 0 -1 4194368 42097 0 0 0 183465 36 0 0 25 0 3 0 346868036 91742208 21191 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526297 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3673.75
Current children cumulated vsize (KiB) 89592

[startup+1902.3 s]
/proc/loadavg: 1.99 1.97 1.94 3/80 22023
/proc/meminfo: memFree=1572112/2055920 swapFree=4154884/4192956
[pid=22020] ppid=22018 vsize=90616 CPUtime=3793.42
/proc/22020/stat : 22020 (MiraXTv3_dyn) S 22018 22020 21948 0 -1 4194304 85125 0 0 0 379263 79 0 0 18 0 3 0 346868022 92790784 21273 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/22020/statm: 22654 21273 218 20 0 22012 0
[pid=22020/tid=22022] ppid=22018 vsize=90616 CPUtime=1898.3
/proc/22020/task/22022/stat : 22022 (MiraXTv3_dyn) R 22018 22020 21948 0 -1 4194368 41469 0 0 0 189789 41 0 0 25 0 3 0 346868036 92790784 21273 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526324 0 0 4096 0 0 0 0 -1 0 0 0
[pid=22020/tid=22023] ppid=22018 vsize=90616 CPUtime=1894.96
/proc/22020/task/22023/stat : 22023 (MiraXTv3_dyn) R 22018 22020 21948 0 -1 4194368 43144 0 0 0 189459 37 0 0 25 0 3 0 346868036 92790784 21273 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3793.42
Current children cumulated vsize (KiB) 90616

[startup+1962.3 s]
/proc/loadavg: 1.99 1.97 1.94 3/80 22023
/proc/meminfo: memFree=1572048/2055920 swapFree=4154884/4192956
[pid=22020] ppid=22018 vsize=91384 CPUtime=3913.07
/proc/22020/stat : 22020 (MiraXTv3_dyn) S 22018 22020 21948 0 -1 4194304 86999 0 0 0 391226 81 0 0 18 0 3 0 346868022 93577216 21284 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/22020/statm: 22846 21284 218 20 0 22204 0
[pid=22020/tid=22022] ppid=22018 vsize=91384 CPUtime=1958
/proc/22020/task/22022/stat : 22022 (MiraXTv3_dyn) R 22018 22020 21948 0 -1 4194368 42442 0 0 0 195758 42 0 0 25 0 3 0 346868036 93577216 21284 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134565721 0 0 4096 0 0 0 0 -1 0 0 0
[pid=22020/tid=22023] ppid=22018 vsize=91384 CPUtime=1954.91
/proc/22020/task/22023/stat : 22023 (MiraXTv3_dyn) R 22018 22020 21948 0 -1 4194368 44045 0 0 0 195453 38 0 0 25 0 3 0 346868036 93577216 21284 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134530005 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3913.07
Current children cumulated vsize (KiB) 91384

[startup+2022.3 s]
/proc/loadavg: 1.99 1.97 1.94 3/80 22023
/proc/meminfo: memFree=1571664/2055920 swapFree=4154884/4192956
[pid=22020] ppid=22018 vsize=91516 CPUtime=4032.74
/proc/22020/stat : 22020 (MiraXTv3_dyn) S 22018 22020 21948 0 -1 4194304 88939 0 0 0 403191 83 0 0 18 0 3 0 346868022 93712384 21361 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/22020/statm: 22879 21361 218 20 0 22237 0
[pid=22020/tid=22022] ppid=22018 vsize=91516 CPUtime=2017.71
/proc/22020/task/22022/stat : 22022 (MiraXTv3_dyn) R 22018 22020 21948 0 -1 4194368 43340 0 0 0 201728 43 0 0 25 0 3 0 346868036 93712384 21361 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=22020/tid=22023] ppid=22018 vsize=91516 CPUtime=2014.88
/proc/22020/task/22023/stat : 22023 (MiraXTv3_dyn) R 22018 22020 21948 0 -1 4194368 45087 0 0 0 201448 40 0 0 25 0 3 0 346868036 93712384 21361 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134520099 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4032.74
Current children cumulated vsize (KiB) 91516

[startup+2082.31 s]
/proc/loadavg: 1.99 1.97 1.94 3/80 22023
/proc/meminfo: memFree=1571280/2055920 swapFree=4154884/4192956
[pid=22020] ppid=22018 vsize=91748 CPUtime=4152.41
/proc/22020/stat : 22020 (MiraXTv3_dyn) S 22018 22020 21948 0 -1 4194304 91044 0 0 0 415156 85 0 0 18 0 3 0 346868022 93949952 21465 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/22020/statm: 22937 21465 218 20 0 22295 0
[pid=22020/tid=22022] ppid=22018 vsize=91748 CPUtime=2077.43
/proc/22020/task/22022/stat : 22022 (MiraXTv3_dyn) R 22018 22020 21948 0 -1 4194368 44453 0 0 0 207700 43 0 0 25 0 3 0 346868036 93949952 21465 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526351 0 0 4096 0 0 0 0 -1 0 0 0
[pid=22020/tid=22023] ppid=22018 vsize=91748 CPUtime=2074.82
/proc/22020/task/22023/stat : 22023 (MiraXTv3_dyn) R 22018 22020 21948 0 -1 4194368 46079 0 0 0 207441 41 0 0 25 0 3 0 346868036 93949952 21465 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4152.41
Current children cumulated vsize (KiB) 91748

[startup+2142.3 s]
/proc/loadavg: 1.99 1.97 1.94 3/80 22023
/proc/meminfo: memFree=1571024/2055920 swapFree=4154884/4192956
[pid=22020] ppid=22018 vsize=91956 CPUtime=4272.06
/proc/22020/stat : 22020 (MiraXTv3_dyn) S 22018 22020 21948 0 -1 4194304 93054 0 0 0 427119 87 0 0 18 0 3 0 346868022 94162944 21543 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/22020/statm: 22989 21543 218 20 0 22347 0
[pid=22020/tid=22022] ppid=22018 vsize=91956 CPUtime=2137.14
/proc/22020/task/22022/stat : 22022 (MiraXTv3_dyn) R 22018 22020 21948 0 -1 4194368 45470 0 0 0 213670 44 0 0 25 0 3 0 346868036 94162944 21543 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=22020/tid=22023] ppid=22018 vsize=91956 CPUtime=2134.77
/proc/22020/task/22023/stat : 22023 (MiraXTv3_dyn) R 22018 22020 21948 0 -1 4194368 47072 0 0 0 213435 42 0 0 25 0 3 0 346868036 94162944 21543 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4272.06
Current children cumulated vsize (KiB) 91956

[startup+2202.3 s]
/proc/loadavg: 1.99 1.97 1.94 3/80 22023
/proc/meminfo: memFree=1570704/2055920 swapFree=4154884/4192956
[pid=22020] ppid=22018 vsize=91956 CPUtime=4391.7
/proc/22020/stat : 22020 (MiraXTv3_dyn) S 22018 22020 21948 0 -1 4194304 95055 0 0 0 439080 90 0 0 18 0 3 0 346868022 94162944 21612 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/22020/statm: 22989 21612 218 20 0 22347 0
[pid=22020/tid=22022] ppid=22018 vsize=91956 CPUtime=2196.82
/proc/22020/task/22022/stat : 22022 (MiraXTv3_dyn) R 22018 22020 21948 0 -1 4194368 46436 0 0 0 219637 45 0 0 25 0 3 0 346868036 94162944 21612 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526324 0 0 4096 0 0 0 0 -1 0 0 0
[pid=22020/tid=22023] ppid=22018 vsize=91956 CPUtime=2194.72
/proc/22020/task/22023/stat : 22023 (MiraXTv3_dyn) R 22018 22020 21948 0 -1 4194368 48107 0 0 0 219428 44 0 0 25 0 3 0 346868036 94162944 21612 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4391.7
Current children cumulated vsize (KiB) 91956

[startup+2262.3 s]
/proc/loadavg: 1.99 1.97 1.94 3/80 22023
/proc/meminfo: memFree=1570704/2055920 swapFree=4154884/4192956
[pid=22020] ppid=22018 vsize=91956 CPUtime=4511.37
/proc/22020/stat : 22020 (MiraXTv3_dyn) S 22018 22020 21948 0 -1 4194304 96922 0 0 0 451045 92 0 0 18 0 3 0 346868022 94162944 21616 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/22020/statm: 22989 21616 218 20 0 22347 0
[pid=22020/tid=22022] ppid=22018 vsize=91956 CPUtime=2256.55
/proc/22020/task/22022/stat : 22022 (MiraXTv3_dyn) R 22018 22020 21948 0 -1 4194368 47405 0 0 0 225609 46 0 0 25 0 3 0 346868036 94162944 21616 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=22020/tid=22023] ppid=22018 vsize=91956 CPUtime=2254.66
/proc/22020/task/22023/stat : 22023 (MiraXTv3_dyn) R 22018 22020 21948 0 -1 4194368 49005 0 0 0 225421 45 0 0 25 0 3 0 346868036 94162944 21616 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4511.37
Current children cumulated vsize (KiB) 91956

[startup+2322.3 s]
/proc/loadavg: 1.99 1.97 1.94 3/80 22023
/proc/meminfo: memFree=1569872/2055920 swapFree=4154884/4192956
[pid=22020] ppid=22018 vsize=93212 CPUtime=4631.02
/proc/22020/stat : 22020 (MiraXTv3_dyn) S 22018 22020 21948 0 -1 4194304 98982 0 0 0 463008 94 0 0 18 0 3 0 346868022 95449088 21813 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/22020/statm: 23303 21813 218 20 0 22661 0
[pid=22020/tid=22022] ppid=22018 vsize=93212 CPUtime=2316.26
/proc/22020/task/22022/stat : 22022 (MiraXTv3_dyn) R 22018 22020 21948 0 -1 4194368 48399 0 0 0 231579 47 0 0 25 0 3 0 346868036 95449088 21813 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526454 0 0 4096 0 0 0 0 -1 1 0 0
[pid=22020/tid=22023] ppid=22018 vsize=93212 CPUtime=2314.61
/proc/22020/task/22023/stat : 22023 (MiraXTv3_dyn) R 22018 22020 21948 0 -1 4194368 50071 0 0 0 231414 47 0 0 25 0 3 0 346868036 95449088 21813 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4631.02
Current children cumulated vsize (KiB) 93212

[startup+2382.3 s]
/proc/loadavg: 1.99 1.97 1.94 3/80 22025
/proc/meminfo: memFree=1569936/2055920 swapFree=4154884/4192956
[pid=22020] ppid=22018 vsize=93212 CPUtime=4750.68
/proc/22020/stat : 22020 (MiraXTv3_dyn) S 22018 22020 21948 0 -1 4194304 100847 0 0 0 474972 96 0 0 18 0 3 0 346868022 95449088 21815 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/22020/statm: 23303 21815 218 20 0 22661 0
[pid=22020/tid=22022] ppid=22018 vsize=93212 CPUtime=2376.22
/proc/22020/task/22022/stat : 22022 (MiraXTv3_dyn) R 22018 22020 21948 0 -1 4194368 49296 0 0 0 237574 48 0 0 25 0 3 0 346868036 95449088 21815 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526489 0 0 4096 0 0 0 0 -1 1 0 0
[pid=22020/tid=22023] ppid=22018 vsize=93212 CPUtime=2374.3
/proc/22020/task/22023/stat : 22023 (MiraXTv3_dyn) R 22018 22020 21948 0 -1 4194368 51039 0 0 0 237383 47 0 0 25 0 3 0 346868036 95449088 21815 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134521333 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4750.68
Current children cumulated vsize (KiB) 93212

[startup+2442.3 s]
/proc/loadavg: 1.99 1.97 1.94 3/80 22025
/proc/meminfo: memFree=1569616/2055920 swapFree=4154884/4192956
[pid=22020] ppid=22018 vsize=93212 CPUtime=4870.33
/proc/22020/stat : 22020 (MiraXTv3_dyn) S 22018 22020 21948 0 -1 4194304 102873 0 0 0 486935 98 0 0 18 0 3 0 346868022 95449088 21840 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/22020/statm: 23303 21840 218 20 0 22661 0
[pid=22020/tid=22022] ppid=22018 vsize=93212 CPUtime=2436.16
/proc/22020/task/22022/stat : 22022 (MiraXTv3_dyn) R 22018 22020 21948 0 -1 4194368 50287 0 0 0 243567 49 0 0 25 0 3 0 346868036 95449088 21840 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
[pid=22020/tid=22023] ppid=22018 vsize=93212 CPUtime=2434.01
/proc/22020/task/22023/stat : 22023 (MiraXTv3_dyn) R 22018 22020 21948 0 -1 4194368 52074 0 0 0 243353 48 0 0 25 0 3 0 346868036 95449088 21840 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526335 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4870.33
Current children cumulated vsize (KiB) 93212

[startup+2502.3 s]
/proc/loadavg: 1.99 1.97 1.94 3/80 22025
/proc/meminfo: memFree=1568208/2055920 swapFree=4154884/4192956
[pid=22020] ppid=22018 vsize=95260 CPUtime=4989.99
/proc/22020/stat : 22020 (MiraXTv3_dyn) S 22018 22020 21948 0 -1 4194304 105277 0 0 0 498899 100 0 0 18 0 3 0 346868022 97546240 22243 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/22020/statm: 23815 22243 218 20 0 23173 0
[pid=22020/tid=22022] ppid=22018 vsize=95260 CPUtime=2496.08
/proc/22020/task/22022/stat : 22022 (MiraXTv3_dyn) R 22018 22020 21948 0 -1 4194368 51255 0 0 0 249558 50 0 0 25 0 3 0 346868036 97546240 22243 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526370 0 0 4096 0 0 0 0 -1 0 0 0
[pid=22020/tid=22023] ppid=22018 vsize=95260 CPUtime=2493.75
/proc/22020/task/22023/stat : 22023 (MiraXTv3_dyn) R 22018 22020 21948 0 -1 4194368 53510 0 0 0 249326 49 0 0 25 0 3 0 346868036 97546240 22243 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4989.99
Current children cumulated vsize (KiB) 95260



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2507.4 s]
/proc/loadavg: 1.99 1.97 1.94 3/80 22025
/proc/meminfo: memFree=1568144/2055920 swapFree=4154884/4192956
[pid=22020] ppid=22018 vsize=95260 CPUtime=5000.17
/proc/22020/stat : 22020 (MiraXTv3_dyn) S 22018 22020 21948 0 -1 4194304 105553 0 0 0 499917 100 0 0 18 0 3 0 346868022 97546240 22243 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/22020/statm: 23815 22243 218 20 0 23173 0
[pid=22020/tid=22022] ppid=22018 vsize=95260 CPUtime=2501.16
/proc/22020/task/22022/stat : 22022 (MiraXTv3_dyn) R 22018 22020 21948 0 -1 4194368 51393 0 0 0 250066 50 0 0 25 0 3 0 346868036 97546240 22243 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526702 0 0 4096 0 0 0 0 -1 0 0 0
[pid=22020/tid=22023] ppid=22018 vsize=95260 CPUtime=2498.85
/proc/22020/task/22023/stat : 22023 (MiraXTv3_dyn) R 22018 22020 21948 0 -1 4194368 53648 0 0 0 249836 49 0 0 25 0 3 0 346868036 97546240 22243 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 5000.17
Current children cumulated vsize (KiB) 95260

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): 2507.43
CPU time (s): 5000.21
CPU user time (s): 4999.19
CPU system time (s): 1.02184
CPU usage (%): 199.416
Max. virtual memory (cumulated for all children) (KiB): 95536

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4999.19
system time used= 1.02184
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 105553
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= 1347
involuntary context switches= 93269

runsolver used 2.42163 second user time and 6.70698 second system time

The end

Launcher Data (download as text)

Begin job on node20 on Sat May 12 17:05:07 UTC 2007

IDJOB= 426131
IDBENCH= 19948
IDSOLVER= 196
FILE ID= node20/426131-1178989507

PBS_JOBID= 5252824

Free space on /tmp= 66529 MiB

SOLVER NAME= MiraXT v3
BENCH NAME= HOME/pub/bench/SAT07/random/OnTreshold/7SAT/v75/unif-k7-r89-v75-c6675-S1534329206-02.SAT.shuffled.cnf
COMMAND LINE= /tmp/evaluation/426131-1178989507/MiraXTv3_dyn /tmp/evaluation/426131-1178989507/instance-426131-1178989507.cnf
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node20/watcher-426131-1178989507 -o ROOT/results/node20/solver-426131-1178989507 -C 5000 -W 7500 -M 1800 --output-limit 1,15  /tmp/evaluation/426131-1178989507/MiraXTv3_dyn /tmp/evaluation/426131-1178989507/instance-426131-1178989507.cnf

META MD5SUM SOLVER= 2ad149617ed8d249d89b067eb44c33da
MD5SUM BENCH=  48336611587b1b84ef747574302cca31

RANDOM SEED= 642633325

TIME LIMIT= 5000 seconds
MEMORY LIMIT= 1800 MiB

Linux node20.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.265
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.265
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:       1657264 kB
Buffers:         48840 kB
Cached:         262000 kB
SwapCached:      17192 kB
Active:          75252 kB
Inactive:       259080 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1657264 kB
SwapTotal:     4192956 kB
SwapFree:      4154884 kB
Dirty:            4204 kB
Writeback:           0 kB
Mapped:          29580 kB
Slab:            49908 kB
Committed_AS:  6884412 kB
PageTables:       1744 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= 66529 MiB

End job on node20 on Sat May 12 17:46:56 UTC 2007