Trace number 426276

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.18 2507.14

General information on the benchmark

Namerandom/LargeSize/7SAT/v180/
unif-k7-r85-v180-c15300-S793713844-14.cnf
MD5SUMf5c5fcd96d8afc0866c8da7cded76f04
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 variables180
Number of clauses15300
Sum of the clauses size107100
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 515300

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/node52/watcher-426276-1179048331 -o ROOT/results/node52/solver-426276-1179048331 -C 5000 -W 7500 -M 1800 --output-limit 1,15 /tmp/evaluation/426276-1179048331/MiraXTv3_dyn /tmp/evaluation/426276-1179048331/instance-426276-1179048331.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: 0.00 0.00 0.00 3/64 7412
/proc/meminfo: memFree=1173068/2055920 swapFree=4183124/4192956
[pid=7412] ppid=7410 vsize=3788 CPUtime=0
/proc/7412/stat : 7412 (MiraXTv3_dyn) R 7410 7412 7340 0 -1 4194304 376 0 0 0 0 0 0 0 18 0 1 0 259678150 3878912 351 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4744827 0 0 4096 0 0 0 0 17 0 0 0
/proc/7412/statm: 947 353 205 20 0 305 0

[startup+0.103341 s]
/proc/loadavg: 0.00 0.00 0.00 3/64 7412
/proc/meminfo: memFree=1173068/2055920 swapFree=4183124/4192956
[pid=7412] ppid=7410 vsize=5144 CPUtime=0.09
/proc/7412/stat : 7412 (MiraXTv3_dyn) R 7410 7412 7340 0 -1 4194304 733 0 0 0 9 0 0 0 18 0 1 0 259678150 5267456 708 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134583707 0 0 4096 0 0 0 0 17 0 0 0
/proc/7412/statm: 1286 708 207 20 0 644 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5144

[startup+0.201348 s]
/proc/loadavg: 0.00 0.00 0.00 3/64 7412
/proc/meminfo: memFree=1173068/2055920 swapFree=4183124/4192956
[pid=7412] ppid=7410 vsize=5144 CPUtime=0.19
/proc/7412/stat : 7412 (MiraXTv3_dyn) R 7410 7412 7340 0 -1 4194304 733 0 0 0 19 0 0 0 18 0 1 0 259678150 5267456 708 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134587855 0 0 4096 0 0 0 0 17 0 0 0
/proc/7412/statm: 1286 708 207 20 0 644 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 5144

[startup+0.301354 s]
/proc/loadavg: 0.00 0.00 0.00 3/64 7412
/proc/meminfo: memFree=1173068/2055920 swapFree=4183124/4192956
[pid=7412] ppid=7410 vsize=5356 CPUtime=0.29
/proc/7412/stat : 7412 (MiraXTv3_dyn) R 7410 7412 7340 0 -1 4194304 766 0 0 0 29 0 0 0 19 0 1 0 259678150 5484544 741 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134583890 0 0 4096 0 0 0 0 17 0 0 0
/proc/7412/statm: 1339 741 207 20 0 697 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5356

[startup+0.701387 s]
/proc/loadavg: 0.00 0.00 0.00 3/64 7412
/proc/meminfo: memFree=1173068/2055920 swapFree=4183124/4192956
[pid=7412] ppid=7410 vsize=13392 CPUtime=1.01
/proc/7412/stat : 7412 (MiraXTv3_dyn) S 7410 7412 7340 0 -1 4194304 2012 0 0 0 101 0 0 0 20 0 3 0 259678150 13713408 1945 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/7412/statm: 3348 1945 218 20 0 2706 0
Current children cumulated CPU time (s) 1.01
Current children cumulated vsize (KiB) 13392

[startup+1.50244 s]
/proc/loadavg: 0.08 0.02 0.01 3/67 7415
/proc/meminfo: memFree=1162292/2055920 swapFree=4183124/4192956
[pid=7412] ppid=7410 vsize=20732 CPUtime=2.62
/proc/7412/stat : 7412 (MiraXTv3_dyn) S 7410 7412 7340 0 -1 4194304 3730 0 0 0 260 2 0 0 20 0 3 0 259678150 21229568 3663 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/7412/statm: 5183 3664 218 20 0 4541 0
[pid=7412/tid=7414] ppid=7410 vsize=20732 CPUtime=1.12
/proc/7412/task/7414/stat : 7414 (MiraXTv3_dyn) R 7410 7412 7340 0 -1 4194368 1482 0 0 0 112 0 0 0 19 0 3 0 259678186 21229568 3664 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4744827 0 0 4096 0 0 0 0 -1 0 0 0
[pid=7412/tid=7415] ppid=7410 vsize=20732 CPUtime=1.11
/proc/7412/task/7415/stat : 7415 (MiraXTv3_dyn) R 7410 7412 7340 0 -1 4194368 1387 0 0 0 110 1 0 0 22 0 3 0 259678186 21229568 3664 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.62
Current children cumulated vsize (KiB) 20732

[startup+3.10155 s]
/proc/loadavg: 0.08 0.02 0.01 3/67 7415
/proc/meminfo: memFree=1153972/2055920 swapFree=4183124/4192956
[pid=7412] ppid=7410 vsize=27564 CPUtime=5.8
/proc/7412/stat : 7412 (MiraXTv3_dyn) S 7410 7412 7340 0 -1 4194304 5119 0 0 0 577 3 0 0 20 0 3 0 259678150 28225536 5052 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/7412/statm: 6891 5052 218 20 0 6249 0
[pid=7412/tid=7414] ppid=7410 vsize=27564 CPUtime=2.71
/proc/7412/task/7414/stat : 7414 (MiraXTv3_dyn) R 7410 7412 7340 0 -1 4194368 2204 0 0 0 270 1 0 0 25 0 3 0 259678186 28225536 5052 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526319 0 0 4096 0 0 0 0 -1 0 0 0
[pid=7412/tid=7415] ppid=7410 vsize=27564 CPUtime=2.71
/proc/7412/task/7415/stat : 7415 (MiraXTv3_dyn) R 7410 7412 7340 0 -1 4194368 2053 0 0 0 270 1 0 0 23 0 3 0 259678186 28225536 5052 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526291 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 5.8
Current children cumulated vsize (KiB) 27564

[startup+6.30176 s]
/proc/loadavg: 0.23 0.05 0.02 3/67 7415
/proc/meminfo: memFree=1143540/2055920 swapFree=4183124/4192956
[pid=7412] ppid=7410 vsize=39764 CPUtime=12.17
/proc/7412/stat : 7412 (MiraXTv3_dyn) S 7410 7412 7340 0 -1 4194304 8544 0 0 0 1210 7 0 0 20 0 3 0 259678150 40718336 8367 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/7412/statm: 9941 8367 218 20 0 9299 0
[pid=7412/tid=7414] ppid=7410 vsize=39764 CPUtime=5.9
/proc/7412/task/7414/stat : 7414 (MiraXTv3_dyn) R 7410 7412 7340 0 -1 4194368 3828 0 0 0 588 2 0 0 18 0 3 0 259678186 40718336 8367 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=7412/tid=7415] ppid=7410 vsize=39764 CPUtime=5.89
/proc/7412/task/7415/stat : 7415 (MiraXTv3_dyn) R 7410 7412 7340 0 -1 4194368 3854 0 0 0 586 3 0 0 21 0 3 0 259678186 40718336 8367 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.17
Current children cumulated vsize (KiB) 39764

[startup+12.7012 s]
/proc/loadavg: 0.37 0.08 0.03 3/67 7415
/proc/meminfo: memFree=1117492/2055920 swapFree=4183124/4192956
[pid=7412] ppid=7410 vsize=61932 CPUtime=24.94
/proc/7412/stat : 7412 (MiraXTv3_dyn) S 7410 7412 7340 0 -1 4194304 14308 0 0 0 2481 13 0 0 20 0 3 0 259678150 63418368 13903 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/7412/statm: 15483 13903 218 20 0 14841 0
[pid=7412/tid=7414] ppid=7410 vsize=61932 CPUtime=12.29
/proc/7412/task/7414/stat : 7414 (MiraXTv3_dyn) R 7410 7412 7340 0 -1 4194368 6753 0 0 0 1224 5 0 0 25 0 3 0 259678186 63418368 13903 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526291 0 0 4096 0 0 0 0 -1 0 0 0
[pid=7412/tid=7415] ppid=7410 vsize=61932 CPUtime=12.26
/proc/7412/task/7415/stat : 7415 (MiraXTv3_dyn) R 7410 7412 7340 0 -1 4194368 6693 0 0 0 1220 6 0 0 22 0 3 0 259678186 63418368 13903 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 24.94
Current children cumulated vsize (KiB) 61932

[startup+25.501 s]
/proc/loadavg: 0.73 0.18 0.06 3/67 7415
/proc/meminfo: memFree=1107252/2055920 swapFree=4183124/4192956
[pid=7412] ppid=7410 vsize=73020 CPUtime=50.47
/proc/7412/stat : 7412 (MiraXTv3_dyn) S 7410 7412 7340 0 -1 4194304 17525 0 0 0 5031 16 0 0 20 0 3 0 259678150 74772480 16660 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/7412/statm: 18255 16660 218 20 0 17613 0
[pid=7412/tid=7414] ppid=7410 vsize=73020 CPUtime=25.09
/proc/7412/task/7414/stat : 7414 (MiraXTv3_dyn) R 7410 7412 7340 0 -1 4194368 8173 0 0 0 2502 7 0 0 17 0 3 0 259678186 74772480 16660 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4744827 0 0 4096 0 0 0 0 -1 0 0 0
[pid=7412/tid=7415] ppid=7410 vsize=73020 CPUtime=25.01
/proc/7412/task/7415/stat : 7415 (MiraXTv3_dyn) R 7410 7412 7340 0 -1 4194368 8490 0 0 0 2493 8 0 0 21 0 3 0 259678186 74772480 16660 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526702 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.47
Current children cumulated vsize (KiB) 73020

[startup+51.1018 s]
/proc/loadavg: 1.16 0.32 0.11 3/67 7415
/proc/meminfo: memFree=1092724/2055920 swapFree=4183124/4192956
[pid=7412] ppid=7410 vsize=85236 CPUtime=101.54
/proc/7412/stat : 7412 (MiraXTv3_dyn) S 7410 7412 7340 0 -1 4194304 21779 0 0 0 10133 21 0 0 20 0 3 0 259678150 87281664 20089 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/7412/statm: 21309 20089 218 20 0 20667 0
[pid=7412/tid=7414] ppid=7410 vsize=85236 CPUtime=50.65
/proc/7412/task/7414/stat : 7414 (MiraXTv3_dyn) R 7410 7412 7340 0 -1 4194368 10272 0 0 0 5056 9 0 0 25 0 3 0 259678186 87281664 20089 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=7412/tid=7415] ppid=7410 vsize=85236 CPUtime=50.5
/proc/7412/task/7415/stat : 7415 (MiraXTv3_dyn) R 7410 7412 7340 0 -1 4194368 10645 0 0 0 5040 10 0 0 25 0 3 0 259678186 87281664 20089 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.54
Current children cumulated vsize (KiB) 85236

[startup+102.301 s]
/proc/loadavg: 1.64 0.58 0.20 3/67 7415
/proc/meminfo: memFree=1086644/2055920 swapFree=4183124/4192956
[pid=7412] ppid=7410 vsize=91876 CPUtime=203.67
/proc/7412/stat : 7412 (MiraXTv3_dyn) S 7410 7412 7340 0 -1 4194304 24941 0 0 0 20344 23 0 0 20 0 3 0 259678150 94081024 21626 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/7412/statm: 22969 21626 218 20 0 22327 0
[pid=7412/tid=7414] ppid=7410 vsize=91876 CPUtime=101.81
/proc/7412/task/7414/stat : 7414 (MiraXTv3_dyn) R 7410 7412 7340 0 -1 4194368 12251 0 0 0 10170 11 0 0 25 0 3 0 259678186 94081024 21626 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526477 0 0 4096 0 0 0 0 -1 0 0 0
[pid=7412/tid=7415] ppid=7410 vsize=91876 CPUtime=101.49
/proc/7412/task/7415/stat : 7415 (MiraXTv3_dyn) R 7410 7412 7340 0 -1 4194368 11828 0 0 0 10137 12 0 0 25 0 3 0 259678186 94081024 21626 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526565 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 203.67
Current children cumulated vsize (KiB) 91876

[startup+162.301 s]
/proc/loadavg: 1.86 0.83 0.31 3/67 7415
/proc/meminfo: memFree=1083764/2055920 swapFree=4183124/4192956
[pid=7412] ppid=7410 vsize=93596 CPUtime=323.33
/proc/7412/stat : 7412 (MiraXTv3_dyn) S 7410 7412 7340 0 -1 4194304 27383 0 0 0 32308 25 0 0 20 0 3 0 259678150 95842304 22313 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/7412/statm: 23399 22313 218 20 0 22757 0
[pid=7412/tid=7414] ppid=7410 vsize=93596 CPUtime=161.74
/proc/7412/task/7414/stat : 7414 (MiraXTv3_dyn) R 7410 7412 7340 0 -1 4194368 13702 0 0 0 16162 12 0 0 25 0 3 0 259678186 95842304 22313 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526297 0 0 4096 0 0 0 0 -1 0 0 0
[pid=7412/tid=7415] ppid=7410 vsize=93596 CPUtime=161.22
/proc/7412/task/7415/stat : 7415 (MiraXTv3_dyn) R 7410 7412 7340 0 -1 4194368 12819 0 0 0 16110 12 0 0 25 0 3 0 259678186 95842304 22313 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 323.33
Current children cumulated vsize (KiB) 93596

[startup+222.306 s]
/proc/loadavg: 1.95 1.04 0.42 3/67 7415
/proc/meminfo: memFree=1082356/2055920 swapFree=4183124/4192956
[pid=7412] ppid=7410 vsize=96444 CPUtime=443.02
/proc/7412/stat : 7412 (MiraXTv3_dyn) S 7410 7412 7340 0 -1 4194304 29542 0 0 0 44274 28 0 0 20 0 3 0 259678150 98758656 22717 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/7412/statm: 24111 22717 218 20 0 23469 0
[pid=7412/tid=7414] ppid=7410 vsize=96444 CPUtime=221.69
/proc/7412/task/7414/stat : 7414 (MiraXTv3_dyn) R 7410 7412 7340 0 -1 4194368 14808 0 0 0 22156 13 0 0 25 0 3 0 259678186 98758656 22717 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526477 0 0 4096 0 0 0 0 -1 0 0 0
[pid=7412/tid=7415] ppid=7410 vsize=96444 CPUtime=220.96
/proc/7412/task/7415/stat : 7415 (MiraXTv3_dyn) R 7410 7412 7340 0 -1 4194368 13872 0 0 0 22082 14 0 0 25 0 3 0 259678186 98758656 22717 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526361 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 443.02
Current children cumulated vsize (KiB) 96444

[startup+282.301 s]
/proc/loadavg: 1.98 1.21 0.51 3/67 7415
/proc/meminfo: memFree=1080884/2055920 swapFree=4183124/4192956
[pid=7412] ppid=7410 vsize=97020 CPUtime=562.68
/proc/7412/stat : 7412 (MiraXTv3_dyn) S 7410 7412 7340 0 -1 4194304 31425 0 0 0 56239 29 0 0 20 0 3 0 259678150 99348480 23040 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/7412/statm: 24255 23040 218 20 0 23613 0
[pid=7412/tid=7414] ppid=7410 vsize=97020 CPUtime=281.56
/proc/7412/task/7414/stat : 7414 (MiraXTv3_dyn) R 7410 7412 7340 0 -1 4194368 15848 0 0 0 28142 14 0 0 25 0 3 0 259678186 99348480 23040 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526309 0 0 4096 0 0 0 0 -1 1 0 0
[pid=7412/tid=7415] ppid=7410 vsize=97020 CPUtime=280.75
/proc/7412/task/7415/stat : 7415 (MiraXTv3_dyn) R 7410 7412 7340 0 -1 4194368 14715 0 0 0 28061 14 0 0 25 0 3 0 259678186 99348480 23040 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526291 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 562.68
Current children cumulated vsize (KiB) 97020

[startup+342.301 s]
/proc/loadavg: 1.99 1.36 0.60 3/67 7415
/proc/meminfo: memFree=1080180/2055920 swapFree=4183124/4192956
[pid=7412] ppid=7410 vsize=98372 CPUtime=682.36
/proc/7412/stat : 7412 (MiraXTv3_dyn) S 7410 7412 7340 0 -1 4194304 33171 0 0 0 68206 30 0 0 20 0 3 0 259678150 100732928 23226 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/7412/statm: 24593 23226 218 20 0 23951 0
[pid=7412/tid=7414] ppid=7410 vsize=98372 CPUtime=341.34
/proc/7412/task/7414/stat : 7414 (MiraXTv3_dyn) R 7410 7412 7340 0 -1 4194368 16747 0 0 0 34119 15 0 0 25 0 3 0 259678186 100732928 23226 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526309 0 0 4096 0 0 0 0 -1 1 0 0
[pid=7412/tid=7415] ppid=7410 vsize=98372 CPUtime=340.65
/proc/7412/task/7415/stat : 7415 (MiraXTv3_dyn) R 7410 7412 7340 0 -1 4194368 15562 0 0 0 34051 14 0 0 25 0 3 0 259678186 100732928 23226 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 682.36
Current children cumulated vsize (KiB) 98372

[startup+402.301 s]

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

/proc/7412/task/7414/stat : 7414 (MiraXTv3_dyn) R 7410 7412 7340 0 -1 4194368 38891 0 0 0 183507 35 0 0 25 0 3 0 259678186 135987200 31577 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=7412/tid=7415] ppid=7410 vsize=132800 CPUtime=1838.58
/proc/7412/task/7415/stat : 7415 (MiraXTv3_dyn) R 7410 7412 7340 0 -1 4194368 37528 0 0 0 183825 33 0 0 25 0 3 0 259678186 135987200 31577 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3674.36
Current children cumulated vsize (KiB) 132800

[startup+1902.3 s]
/proc/loadavg: 2.00 2.00 1.71 3/67 7415
/proc/meminfo: memFree=1046644/2055920 swapFree=4183124/4192956
[pid=7412] ppid=7410 vsize=132800 CPUtime=3794.04
/proc/7412/stat : 7412 (MiraXTv3_dyn) S 7410 7412 7340 0 -1 4194304 78733 0 0 0 379334 70 0 0 20 0 3 0 259678150 135987200 31578 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/7412/statm: 33200 31578 218 20 0 32558 0
[pid=7412/tid=7414] ppid=7410 vsize=132800 CPUtime=1895.16
/proc/7412/task/7414/stat : 7414 (MiraXTv3_dyn) R 7410 7412 7340 0 -1 4194368 39617 0 0 0 189481 35 0 0 25 0 3 0 259678186 135987200 31578 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4743519 0 0 4096 0 0 0 0 -1 1 0 0
[pid=7412/tid=7415] ppid=7410 vsize=132800 CPUtime=1898.51
/proc/7412/task/7415/stat : 7415 (MiraXTv3_dyn) R 7410 7412 7340 0 -1 4194368 38254 0 0 0 189817 34 0 0 25 0 3 0 259678186 135987200 31578 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3794.04
Current children cumulated vsize (KiB) 132800

[startup+1962.3 s]
/proc/loadavg: 2.00 2.00 1.73 3/67 7415
/proc/meminfo: memFree=1046644/2055920 swapFree=4183124/4192956
[pid=7412] ppid=7410 vsize=132800 CPUtime=3913.73
/proc/7412/stat : 7412 (MiraXTv3_dyn) S 7410 7412 7340 0 -1 4194304 80054 0 0 0 391303 70 0 0 20 0 3 0 259678150 135987200 31579 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/7412/statm: 33200 31579 218 20 0 32558 0
[pid=7412/tid=7414] ppid=7410 vsize=132800 CPUtime=1954.9
/proc/7412/task/7414/stat : 7414 (MiraXTv3_dyn) R 7410 7412 7340 0 -1 4194368 40211 0 0 0 195455 35 0 0 25 0 3 0 259678186 135987200 31579 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=7412/tid=7415] ppid=7410 vsize=132800 CPUtime=1958.45
/proc/7412/task/7415/stat : 7415 (MiraXTv3_dyn) R 7410 7412 7340 0 -1 4194368 38981 0 0 0 195811 34 0 0 25 0 3 0 259678186 135987200 31579 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526486 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3913.73
Current children cumulated vsize (KiB) 132800

[startup+2022.3 s]
/proc/loadavg: 2.00 2.00 1.74 3/67 7415
/proc/meminfo: memFree=1043828/2055920 swapFree=4183124/4192956
[pid=7412] ppid=7410 vsize=136280 CPUtime=4033.41
/proc/7412/stat : 7412 (MiraXTv3_dyn) S 7410 7412 7340 0 -1 4194304 82074 0 0 0 403269 72 0 0 20 0 3 0 259678150 139550720 32285 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/7412/statm: 34070 32285 218 20 0 33428 0
[pid=7412/tid=7414] ppid=7410 vsize=136280 CPUtime=2014.64
/proc/7412/task/7414/stat : 7414 (MiraXTv3_dyn) R 7410 7412 7340 0 -1 4194368 41343 0 0 0 201428 36 0 0 25 0 3 0 259678186 139550720 32285 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526489 0 0 4096 0 0 0 0 -1 1 0 0
[pid=7412/tid=7415] ppid=7410 vsize=136280 CPUtime=2018.4
/proc/7412/task/7415/stat : 7415 (MiraXTv3_dyn) R 7410 7412 7340 0 -1 4194368 39869 0 0 0 201805 35 0 0 25 0 3 0 259678186 139550720 32285 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4033.41
Current children cumulated vsize (KiB) 136280

[startup+2082.3 s]
/proc/loadavg: 2.00 2.00 1.75 3/67 7415
/proc/meminfo: memFree=1043124/2055920 swapFree=4183124/4192956
[pid=7412] ppid=7410 vsize=136600 CPUtime=4153.1
/proc/7412/stat : 7412 (MiraXTv3_dyn) S 7410 7412 7340 0 -1 4194304 83647 0 0 0 415237 73 0 0 20 0 3 0 259678150 139878400 32472 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/7412/statm: 34150 32472 218 20 0 33508 0
[pid=7412/tid=7414] ppid=7410 vsize=136600 CPUtime=2074.38
/proc/7412/task/7414/stat : 7414 (MiraXTv3_dyn) R 7410 7412 7340 0 -1 4194368 42139 0 0 0 207402 36 0 0 25 0 3 0 259678186 139878400 32472 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=7412/tid=7415] ppid=7410 vsize=136600 CPUtime=2078.34
/proc/7412/task/7415/stat : 7415 (MiraXTv3_dyn) R 7410 7412 7340 0 -1 4194368 40646 0 0 0 207798 36 0 0 25 0 3 0 259678186 139878400 32472 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4153.1
Current children cumulated vsize (KiB) 136600

[startup+2142.3 s]
/proc/loadavg: 2.07 2.02 1.77 3/73 7489
/proc/meminfo: memFree=1040828/2055920 swapFree=4183124/4192956
[pid=7412] ppid=7410 vsize=137624 CPUtime=4272.67
/proc/7412/stat : 7412 (MiraXTv3_dyn) S 7410 7412 7340 0 -1 4194304 85132 0 0 0 427188 79 0 0 20 0 3 0 259678150 140926976 32703 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/7412/statm: 34406 32703 218 20 0 33764 0
[pid=7412/tid=7414] ppid=7410 vsize=137624 CPUtime=2134.03
/proc/7412/task/7414/stat : 7414 (MiraXTv3_dyn) R 7410 7412 7340 0 -1 4194368 42757 0 0 0 213366 37 0 0 25 0 3 0 259678186 140926976 32703 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526486 0 0 4096 0 0 0 0 -1 1 0 0
[pid=7412/tid=7415] ppid=7410 vsize=137624 CPUtime=2138.26
/proc/7412/task/7415/stat : 7415 (MiraXTv3_dyn) R 7410 7412 7340 0 -1 4194368 41513 0 0 0 213785 41 0 0 25 0 3 0 259678186 140926976 32703 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4272.67
Current children cumulated vsize (KiB) 137624

[startup+2202.31 s]
/proc/loadavg: 2.02 2.01 1.78 3/67 7613
/proc/meminfo: memFree=1041012/2055920 swapFree=4183124/4192956
[pid=7412] ppid=7410 vsize=138964 CPUtime=4392.15
/proc/7412/stat : 7412 (MiraXTv3_dyn) S 7410 7412 7340 0 -1 4194304 86557 0 0 0 439125 90 0 0 20 0 3 0 259678150 142299136 32940 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/7412/statm: 34741 32940 218 20 0 34099 0
[pid=7412/tid=7414] ppid=7410 vsize=138964 CPUtime=2193.6
/proc/7412/task/7414/stat : 7414 (MiraXTv3_dyn) R 7410 7412 7340 0 -1 4194368 43429 0 0 0 219323 37 0 0 25 0 3 0 259678186 142299136 32940 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=7412/tid=7415] ppid=7410 vsize=138964 CPUtime=2198.17
/proc/7412/task/7415/stat : 7415 (MiraXTv3_dyn) R 7410 7412 7340 0 -1 4194368 42266 0 0 0 219765 52 0 0 25 0 3 0 259678186 142299136 32940 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526373 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4392.15
Current children cumulated vsize (KiB) 138964

[startup+2262.3 s]
/proc/loadavg: 2.01 2.00 1.79 3/67 7613
/proc/meminfo: memFree=1040500/2055920 swapFree=4183124/4192956
[pid=7412] ppid=7410 vsize=139116 CPUtime=4511.83
/proc/7412/stat : 7412 (MiraXTv3_dyn) S 7410 7412 7340 0 -1 4194304 88076 0 0 0 451092 91 0 0 20 0 3 0 259678150 142454784 33073 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/7412/statm: 34779 33073 218 20 0 34137 0
[pid=7412/tid=7414] ppid=7410 vsize=139116 CPUtime=2253.35
/proc/7412/task/7414/stat : 7414 (MiraXTv3_dyn) R 7410 7412 7340 0 -1 4194368 44130 0 0 0 225297 38 0 0 25 0 3 0 259678186 142454784 33073 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4160576663 0 0 4096 0 0 0 0 -1 1 0 0
[pid=7412/tid=7415] ppid=7410 vsize=139116 CPUtime=2258.1
/proc/7412/task/7415/stat : 7415 (MiraXTv3_dyn) R 7410 7412 7340 0 -1 4194368 43084 0 0 0 225758 52 0 0 25 0 3 0 259678186 142454784 33073 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526477 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4511.83
Current children cumulated vsize (KiB) 139116

[startup+2322.3 s]
/proc/loadavg: 2.00 2.00 1.81 3/67 7613
/proc/meminfo: memFree=1040052/2055920 swapFree=4183124/4192956
[pid=7412] ppid=7410 vsize=139416 CPUtime=4631.52
/proc/7412/stat : 7412 (MiraXTv3_dyn) S 7410 7412 7340 0 -1 4194304 89521 0 0 0 463060 92 0 0 20 0 3 0 259678150 142761984 33198 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/7412/statm: 34854 33198 218 20 0 34212 0
[pid=7412/tid=7414] ppid=7410 vsize=139416 CPUtime=2313.09
/proc/7412/task/7414/stat : 7414 (MiraXTv3_dyn) R 7410 7412 7340 0 -1 4194368 44830 0 0 0 231271 38 0 0 25 0 3 0 259678186 142761984 33198 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
[pid=7412/tid=7415] ppid=7410 vsize=139416 CPUtime=2318.05
/proc/7412/task/7415/stat : 7415 (MiraXTv3_dyn) R 7410 7412 7340 0 -1 4194368 43829 0 0 0 231752 53 0 0 25 0 3 0 259678186 142761984 33198 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526477 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4631.52
Current children cumulated vsize (KiB) 139416

[startup+2382.3 s]
/proc/loadavg: 2.00 2.00 1.82 3/67 7613
/proc/meminfo: memFree=1039796/2055920 swapFree=4183124/4192956
[pid=7412] ppid=7410 vsize=139748 CPUtime=4751.22
/proc/7412/stat : 7412 (MiraXTv3_dyn) S 7410 7412 7340 0 -1 4194304 90909 0 0 0 475028 94 0 0 20 0 3 0 259678150 143101952 33267 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/7412/statm: 34937 33267 218 20 0 34295 0
[pid=7412/tid=7414] ppid=7410 vsize=139748 CPUtime=2372.84
/proc/7412/task/7414/stat : 7414 (MiraXTv3_dyn) R 7410 7412 7340 0 -1 4194368 45474 0 0 0 237245 39 0 0 25 0 3 0 259678186 143101952 33267 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=7412/tid=7415] ppid=7410 vsize=139748 CPUtime=2377.99
/proc/7412/task/7415/stat : 7415 (MiraXTv3_dyn) R 7410 7412 7340 0 -1 4194368 44573 0 0 0 237746 53 0 0 25 0 3 0 259678186 143101952 33267 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4751.22
Current children cumulated vsize (KiB) 139748

[startup+2442.3 s]
/proc/loadavg: 2.00 2.00 1.82 3/67 7613
/proc/meminfo: memFree=1038324/2055920 swapFree=4183124/4192956
[pid=7412] ppid=7410 vsize=141856 CPUtime=4870.86
/proc/7412/stat : 7412 (MiraXTv3_dyn) S 7410 7412 7340 0 -1 4194304 92389 0 0 0 486992 94 0 0 20 0 3 0 259678150 145260544 33625 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/7412/statm: 35464 33625 218 20 0 34822 0
[pid=7412/tid=7414] ppid=7410 vsize=141856 CPUtime=2432.55
/proc/7412/task/7414/stat : 7414 (MiraXTv3_dyn) R 7410 7412 7340 0 -1 4194368 46297 0 0 0 243215 40 0 0 25 0 3 0 259678186 145260544 33625 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=7412/tid=7415] ppid=7410 vsize=141856 CPUtime=2437.94
/proc/7412/task/7415/stat : 7415 (MiraXTv3_dyn) R 7410 7412 7340 0 -1 4194368 45230 0 0 0 243740 54 0 0 25 0 3 0 259678186 145260544 33625 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526422 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4870.86
Current children cumulated vsize (KiB) 141856

[startup+2502.3 s]
/proc/loadavg: 2.00 2.00 1.83 3/67 7613
/proc/meminfo: memFree=1037876/2055920 swapFree=4183124/4192956
[pid=7412] ppid=7410 vsize=142172 CPUtime=4990.56
/proc/7412/stat : 7412 (MiraXTv3_dyn) S 7410 7412 7340 0 -1 4194304 93583 0 0 0 498960 96 0 0 20 0 3 0 259678150 145584128 33697 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/7412/statm: 35543 33697 218 20 0 34901 0
[pid=7412/tid=7414] ppid=7410 vsize=142172 CPUtime=2492.29
/proc/7412/task/7414/stat : 7414 (MiraXTv3_dyn) R 7410 7412 7340 0 -1 4194368 46763 0 0 0 249189 40 0 0 25 0 3 0 259678186 145584128 33697 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=7412/tid=7415] ppid=7410 vsize=142172 CPUtime=2497.88
/proc/7412/task/7415/stat : 7415 (MiraXTv3_dyn) R 7410 7412 7340 0 -1 4194368 45958 0 0 0 249734 54 0 0 25 0 3 0 259678186 145584128 33697 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4990.56
Current children cumulated vsize (KiB) 142172



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2507.1 s]
/proc/loadavg: 2.00 2.00 1.83 3/67 7613
/proc/meminfo: memFree=1037748/2055920 swapFree=4183124/4192956
[pid=7412] ppid=7410 vsize=142320 CPUtime=5000.13
/proc/7412/stat : 7412 (MiraXTv3_dyn) S 7410 7412 7340 0 -1 4194304 93750 0 0 0 499917 96 0 0 20 0 3 0 259678150 145735680 33732 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/7412/statm: 35580 33732 218 20 0 34938 0
[pid=7412/tid=7414] ppid=7410 vsize=142320 CPUtime=2497.07
/proc/7412/task/7414/stat : 7414 (MiraXTv3_dyn) R 7410 7412 7340 0 -1 4194368 46845 0 0 0 249667 40 0 0 25 0 3 0 259678186 145735680 33732 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
[pid=7412/tid=7415] ppid=7410 vsize=142320 CPUtime=2502.68
/proc/7412/task/7415/stat : 7415 (MiraXTv3_dyn) R 7410 7412 7340 0 -1 4194368 46043 0 0 0 250214 54 0 0 25 0 3 0 259678186 145735680 33732 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 5000.13
Current children cumulated vsize (KiB) 142320

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.14
CPU time (s): 5000.18
CPU user time (s): 4999.19
CPU system time (s): 0.98485
CPU usage (%): 199.438
Max. virtual memory (cumulated for all children) (KiB): 142436

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

runsolver used 2.6106 second user time and 6.571 second system time

The end

Launcher Data (download as text)

Begin job on node52 on Sun May 13 09:25:31 UTC 2007

IDJOB= 426276
IDBENCH= 20101
IDSOLVER= 196
FILE ID= node52/426276-1179048331

PBS_JOBID= 5253455

Free space on /tmp= 66542 MiB

SOLVER NAME= MiraXT v3
BENCH NAME= HOME/pub/bench/SAT07/random/LargeSize/7SAT/v180/unif-k7-r85-v180-c15300-S793713844-14.cnf
COMMAND LINE= /tmp/evaluation/426276-1179048331/MiraXTv3_dyn /tmp/evaluation/426276-1179048331/instance-426276-1179048331.cnf
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node52/watcher-426276-1179048331 -o ROOT/results/node52/solver-426276-1179048331 -C 5000 -W 7500 -M 1800 --output-limit 1,15  /tmp/evaluation/426276-1179048331/MiraXTv3_dyn /tmp/evaluation/426276-1179048331/instance-426276-1179048331.cnf

META MD5SUM SOLVER= 2ad149617ed8d249d89b067eb44c33da
MD5SUM BENCH=  f5c5fcd96d8afc0866c8da7cded76f04

RANDOM SEED= 228206938

TIME LIMIT= 5000 seconds
MEMORY LIMIT= 1800 MiB

Linux node52.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.236
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.236
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:       1173292 kB
Buffers:         54056 kB
Cached:         697828 kB
SwapCached:       3936 kB
Active:         412884 kB
Inactive:       348568 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1173292 kB
SwapTotal:     4192956 kB
SwapFree:      4183124 kB
Dirty:            4556 kB
Writeback:           0 kB
Mapped:          15544 kB
Slab:           107136 kB
Committed_AS:  5395828 kB
PageTables:       1504 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= 66542 MiB

End job on node52 on Sun May 13 10:07:20 UTC 2007