Trace number 426384

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.08 2506.44

General information on the benchmark

Namerandom/2+p/p0.7/v6500/
unif2p-p0.7-v6500-c17355-S464355209-20-UNKNOWN.cnf
MD5SUMa698176b415b0d699b7034931506758d
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark64.7072
Satisfiable
(Un)Satisfiability was proved
Number of variables6495
Number of clauses17354
Sum of the clauses size46856
Maximum clause length3
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 25206
Number of clauses of size 312148
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/node74/watcher-426384-1179013086 -o ROOT/results/node74/solver-426384-1179013086 -C 5000 -W 7500 -M 1800 --output-limit 1,15 /tmp/evaluation/426384-1179013086/MiraXTv3_dyn /tmp/evaluation/426384-1179013086/instance-426384-1179013086.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.95 3/65 5319
/proc/meminfo: memFree=1089584/2055920 swapFree=4183236/4192956
[pid=5319] ppid=5317 vsize=3788 CPUtime=0
/proc/5319/stat : 5319 (MiraXTv3_dyn) R 5317 5319 4933 0 -1 4194304 322 0 0 0 0 0 0 0 18 0 1 0 349223381 3878912 297 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/5319/statm: 947 304 202 20 0 305 0

[startup+0.052813 s]
/proc/loadavg: 1.83 1.94 1.95 3/65 5319
/proc/meminfo: memFree=1089584/2055920 swapFree=4183236/4192956
[pid=5319] ppid=5317 vsize=6032 CPUtime=0.04
/proc/5319/stat : 5319 (MiraXTv3_dyn) R 5317 5319 4933 0 -1 4194304 893 0 0 0 4 0 0 0 18 0 1 0 349223381 6176768 868 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 10192507 0 0 4096 0 0 0 0 17 1 0 0
/proc/5319/statm: 1508 868 207 20 0 866 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 6032

[startup+0.101824 s]
/proc/loadavg: 1.83 1.94 1.95 3/65 5319
/proc/meminfo: memFree=1089584/2055920 swapFree=4183236/4192956
[pid=5319] ppid=5317 vsize=13500 CPUtime=0.1
/proc/5319/stat : 5319 (MiraXTv3_dyn) S 5317 5319 4933 0 -1 4194304 1892 0 0 0 9 1 0 0 18 0 3 0 349223381 13824000 1829 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/5319/statm: 3375 1830 216 20 0 2733 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13500

[startup+0.30185 s]
/proc/loadavg: 1.83 1.94 1.95 3/65 5319
/proc/meminfo: memFree=1089584/2055920 swapFree=4183236/4192956
[pid=5319] ppid=5317 vsize=14368 CPUtime=0.48
/proc/5319/stat : 5319 (MiraXTv3_dyn) S 5317 5319 4933 0 -1 4194304 2021 0 0 0 47 1 0 0 18 0 3 0 349223381 14712832 1919 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/5319/statm: 3592 1919 218 20 0 2950 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 14368

[startup+0.701895 s]
/proc/loadavg: 1.83 1.94 1.95 3/65 5319
/proc/meminfo: memFree=1089584/2055920 swapFree=4183236/4192956
[pid=5319] ppid=5317 vsize=14896 CPUtime=1.28
/proc/5319/stat : 5319 (MiraXTv3_dyn) S 5317 5319 4933 0 -1 4194304 2396 0 0 0 127 1 0 0 18 0 3 0 349223381 15253504 2294 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/5319/statm: 3724 2294 218 20 0 3082 0
Current children cumulated CPU time (s) 1.28
Current children cumulated vsize (KiB) 14896

[startup+1.50199 s]
/proc/loadavg: 1.83 1.94 1.95 3/68 5322
/proc/meminfo: memFree=1079960/2055920 swapFree=4183236/4192956
[pid=5319] ppid=5317 vsize=19124 CPUtime=2.88
/proc/5319/stat : 5319 (MiraXTv3_dyn) S 5317 5319 4933 0 -1 4194304 3175 0 0 0 286 2 0 0 18 0 3 0 349223381 19582976 3073 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/5319/statm: 4781 3073 218 20 0 4139 0
[pid=5319/tid=5321] ppid=5317 vsize=19124 CPUtime=1.4
/proc/5319/task/5321/stat : 5321 (MiraXTv3_dyn) R 5317 5319 4933 0 -1 4194368 1053 0 0 0 140 0 0 0 25 0 3 0 349223389 19582976 3073 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=5319/tid=5322] ppid=5317 vsize=19124 CPUtime=1.37
/proc/5319/task/5322/stat : 5322 (MiraXTv3_dyn) R 5317 5319 4933 0 -1 4194368 1137 0 0 0 137 0 0 0 25 0 3 0 349223389 19582976 3073 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526558 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.88
Current children cumulated vsize (KiB) 19124

[startup+3.10217 s]
/proc/loadavg: 1.85 1.94 1.95 3/68 5322
/proc/meminfo: memFree=1076056/2055920 swapFree=4183236/4192956
[pid=5319] ppid=5317 vsize=23772 CPUtime=6.07
/proc/5319/stat : 5319 (MiraXTv3_dyn) S 5317 5319 4933 0 -1 4194304 4462 0 0 0 604 3 0 0 18 0 3 0 349223381 24342528 4360 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/5319/statm: 5943 4360 218 20 0 5301 0
[pid=5319/tid=5321] ppid=5317 vsize=23772 CPUtime=3.01
/proc/5319/task/5321/stat : 5321 (MiraXTv3_dyn) R 5317 5319 4933 0 -1 4194368 1699 0 0 0 300 1 0 0 25 0 3 0 349223389 24342528 4360 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
[pid=5319/tid=5322] ppid=5317 vsize=23772 CPUtime=2.97
/proc/5319/task/5322/stat : 5322 (MiraXTv3_dyn) R 5317 5319 4933 0 -1 4194368 1778 0 0 0 296 1 0 0 25 0 3 0 349223389 24342528 4360 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134522168 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.07
Current children cumulated vsize (KiB) 23772

[startup+6.30154 s]
/proc/loadavg: 1.85 1.94 1.95 3/68 5322
/proc/meminfo: memFree=1066328/2055920 swapFree=4183236/4192956
[pid=5319] ppid=5317 vsize=30012 CPUtime=12.45
/proc/5319/stat : 5319 (MiraXTv3_dyn) S 5317 5319 4933 0 -1 4194304 6067 0 0 0 1241 4 0 0 18 0 3 0 349223381 30732288 5965 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/5319/statm: 7503 5965 218 20 0 6861 0
[pid=5319/tid=5321] ppid=5317 vsize=30012 CPUtime=6.2
/proc/5319/task/5321/stat : 5321 (MiraXTv3_dyn) R 5317 5319 4933 0 -1 4194368 2515 0 0 0 619 1 0 0 25 0 3 0 349223389 30732288 5965 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=5319/tid=5322] ppid=5317 vsize=30012 CPUtime=6.15
/proc/5319/task/5322/stat : 5322 (MiraXTv3_dyn) R 5317 5319 4933 0 -1 4194368 2567 0 0 0 613 2 0 0 25 0 3 0 349223389 30732288 5965 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526020 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.45
Current children cumulated vsize (KiB) 30012

[startup+12.7023 s]
/proc/loadavg: 1.87 1.94 1.95 3/68 5322
/proc/meminfo: memFree=1059800/2055920 swapFree=4183236/4192956
[pid=5319] ppid=5317 vsize=37396 CPUtime=25.22
/proc/5319/stat : 5319 (MiraXTv3_dyn) S 5317 5319 4933 0 -1 4194304 8159 0 0 0 2515 7 0 0 18 0 3 0 349223381 38293504 7983 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/5319/statm: 9349 7983 218 20 0 8707 0
[pid=5319/tid=5321] ppid=5317 vsize=37396 CPUtime=12.6
/proc/5319/task/5321/stat : 5321 (MiraXTv3_dyn) R 5317 5319 4933 0 -1 4194368 3617 0 0 0 1257 3 0 0 25 0 3 0 349223389 38293504 7983 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526261 0 0 4096 0 0 0 0 -1 1 0 0
[pid=5319/tid=5322] ppid=5317 vsize=37396 CPUtime=12.52
/proc/5319/task/5322/stat : 5322 (MiraXTv3_dyn) R 5317 5319 4933 0 -1 4194368 3557 0 0 0 1249 3 0 0 25 0 3 0 349223389 38293504 7983 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134565880 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.22
Current children cumulated vsize (KiB) 37396

[startup+25.5018 s]
/proc/loadavg: 1.89 1.94 1.95 3/68 5322
/proc/meminfo: memFree=1032536/2055920 swapFree=4183236/4192956
[pid=5319] ppid=5317 vsize=63200 CPUtime=50.75
/proc/5319/stat : 5319 (MiraXTv3_dyn) S 5317 5319 4933 0 -1 4194304 14915 0 0 0 5061 14 0 0 18 0 3 0 349223381 64716800 14564 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/5319/statm: 15800 14564 218 20 0 15158 0
[pid=5319/tid=5321] ppid=5317 vsize=63200 CPUtime=25.39
/proc/5319/task/5321/stat : 5321 (MiraXTv3_dyn) R 5317 5319 4933 0 -1 4194368 7134 0 0 0 2534 5 0 0 25 0 3 0 349223389 64716800 14564 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526489 0 0 4096 0 0 0 0 -1 1 0 0
[pid=5319/tid=5322] ppid=5317 vsize=63200 CPUtime=25.26
/proc/5319/task/5322/stat : 5322 (MiraXTv3_dyn) R 5317 5319 4933 0 -1 4194368 6796 0 0 0 2518 8 0 0 25 0 3 0 349223389 64716800 14564 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.75
Current children cumulated vsize (KiB) 63200

[startup+51.1017 s]
/proc/loadavg: 1.93 1.94 1.95 3/68 5322
/proc/meminfo: memFree=1021208/2055920 swapFree=4183236/4192956
[pid=5319] ppid=5317 vsize=75160 CPUtime=101.83
/proc/5319/stat : 5319 (MiraXTv3_dyn) S 5317 5319 4933 0 -1 4194304 17829 0 0 0 10164 19 0 0 18 0 3 0 349223381 76963840 17133 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/5319/statm: 18790 17133 218 20 0 18148 0
[pid=5319/tid=5321] ppid=5317 vsize=75160 CPUtime=50.98
/proc/5319/task/5321/stat : 5321 (MiraXTv3_dyn) R 5317 5319 4933 0 -1 4194368 8541 0 0 0 5091 7 0 0 25 0 3 0 349223389 76963840 17133 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526477 0 0 4096 0 0 0 0 -1 1 0 0
[pid=5319/tid=5322] ppid=5317 vsize=75160 CPUtime=50.74
/proc/5319/task/5322/stat : 5322 (MiraXTv3_dyn) R 5317 5319 4933 0 -1 4194368 8303 0 0 0 5064 10 0 0 25 0 3 0 349223389 76963840 17133 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526004 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.83
Current children cumulated vsize (KiB) 75160

[startup+102.306 s]
/proc/loadavg: 1.97 1.95 1.95 3/68 5322
/proc/meminfo: memFree=992152/2055920 swapFree=4183236/4192956
[pid=5319] ppid=5317 vsize=103592 CPUtime=203.99
/proc/5319/stat : 5319 (MiraXTv3_dyn) S 5317 5319 4933 0 -1 4194304 25786 0 0 0 20369 30 0 0 18 0 3 0 349223381 106078208 24406 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/5319/statm: 25898 24406 218 20 0 25256 0
[pid=5319/tid=5321] ppid=5317 vsize=103592 CPUtime=102.16
/proc/5319/task/5321/stat : 5321 (MiraXTv3_dyn) R 5317 5319 4933 0 -1 4194368 12249 0 0 0 10205 11 0 0 25 0 3 0 349223389 106078208 24406 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526720 0 0 4096 0 0 0 0 -1 1 0 0
[pid=5319/tid=5322] ppid=5317 vsize=103592 CPUtime=101.72
/proc/5319/task/5322/stat : 5322 (MiraXTv3_dyn) R 5317 5319 4933 0 -1 4194368 12552 0 0 0 10155 17 0 0 25 0 3 0 349223389 106078208 24406 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134530106 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 203.99
Current children cumulated vsize (KiB) 103592

[startup+162.302 s]
/proc/loadavg: 1.99 1.95 1.95 3/68 5322
/proc/meminfo: memFree=970776/2055920 swapFree=4183236/4192956
[pid=5319] ppid=5317 vsize=124496 CPUtime=323.67
/proc/5319/stat : 5319 (MiraXTv3_dyn) S 5317 5319 4933 0 -1 4194304 31912 0 0 0 32328 39 0 0 18 0 3 0 349223381 127483904 29706 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/5319/statm: 31124 29706 218 20 0 30482 0
[pid=5319/tid=5321] ppid=5317 vsize=124496 CPUtime=161.94
/proc/5319/task/5321/stat : 5321 (MiraXTv3_dyn) R 5317 5319 4933 0 -1 4194368 14750 0 0 0 16179 15 0 0 25 0 3 0 349223389 127483904 29706 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526317 0 0 4096 0 0 0 0 -1 0 0 0
[pid=5319/tid=5322] ppid=5317 vsize=124496 CPUtime=161.64
/proc/5319/task/5322/stat : 5322 (MiraXTv3_dyn) R 5317 5319 4933 0 -1 4194368 16177 0 0 0 16141 23 0 0 25 0 3 0 349223389 127483904 29706 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526702 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 323.67
Current children cumulated vsize (KiB) 124496

[startup+222.301 s]
/proc/loadavg: 1.99 1.96 1.95 3/68 5322
/proc/meminfo: memFree=949976/2055920 swapFree=4183236/4192956
[pid=5319] ppid=5317 vsize=145732 CPUtime=443.38
/proc/5319/stat : 5319 (MiraXTv3_dyn) S 5317 5319 4933 0 -1 4194304 37985 0 0 0 44290 48 0 0 18 0 3 0 349223381 149229568 34916 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/5319/statm: 36433 34916 218 20 0 35791 0
[pid=5319/tid=5321] ppid=5317 vsize=145732 CPUtime=221.67
/proc/5319/task/5321/stat : 5321 (MiraXTv3_dyn) R 5317 5319 4933 0 -1 4194368 18160 0 0 0 22148 19 0 0 25 0 3 0 349223389 149229568 34916 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526294 0 0 4096 0 0 0 0 -1 0 0 0
[pid=5319/tid=5322] ppid=5317 vsize=145732 CPUtime=221.62
/proc/5319/task/5322/stat : 5322 (MiraXTv3_dyn) R 5317 5319 4933 0 -1 4194368 18840 0 0 0 22134 28 0 0 25 0 3 0 349223389 149229568 34916 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134565591 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 443.38
Current children cumulated vsize (KiB) 145732

[startup+282.301 s]
/proc/loadavg: 1.99 1.97 1.95 3/68 5322
/proc/meminfo: memFree=949720/2055920 swapFree=4183236/4192956
[pid=5319] ppid=5317 vsize=146500 CPUtime=563.08
/proc/5319/stat : 5319 (MiraXTv3_dyn) S 5317 5319 4933 0 -1 4194304 38784 0 0 0 56260 48 0 0 18 0 3 0 349223381 150016000 34984 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/5319/statm: 36625 34984 218 20 0 35983 0
[pid=5319/tid=5321] ppid=5317 vsize=146500 CPUtime=281.4
/proc/5319/task/5321/stat : 5321 (MiraXTv3_dyn) R 5317 5319 4933 0 -1 4194368 18601 0 0 0 28121 19 0 0 25 0 3 0 349223389 150016000 34984 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526531 0 0 4096 0 0 0 0 -1 0 0 0
[pid=5319/tid=5322] ppid=5317 vsize=146500 CPUtime=281.59
/proc/5319/task/5322/stat : 5322 (MiraXTv3_dyn) R 5317 5319 4933 0 -1 4194368 19198 0 0 0 28131 28 0 0 25 0 3 0 349223389 150016000 34984 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134565721 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 563.08
Current children cumulated vsize (KiB) 146500

[startup+342.301 s]
/proc/loadavg: 1.99 1.97 1.95 3/68 5322
/proc/meminfo: memFree=949592/2055920 swapFree=4183236/4192956
[pid=5319] ppid=5317 vsize=146500 CPUtime=682.78
/proc/5319/stat : 5319 (MiraXTv3_dyn) S 5317 5319 4933 0 -1 4194304 39566 0 0 0 68229 49 0 0 18 0 3 0 349223381 150016000 35013 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/5319/statm: 36625 35013 218 20 0 35983 0
[pid=5319/tid=5321] ppid=5317 vsize=146500 CPUtime=341.12
/proc/5319/task/5321/stat : 5321 (MiraXTv3_dyn) R 5317 5319 4933 0 -1 4194368 18949 0 0 0 34092 20 0 0 25 0 3 0 349223389 150016000 35013 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=5319/tid=5322] ppid=5317 vsize=146500 CPUtime=341.58
/proc/5319/task/5322/stat : 5322 (MiraXTv3_dyn) R 5317 5319 4933 0 -1 4194368 19632 0 0 0 34129 29 0 0 25 0 3 0 349223389 150016000 35013 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526454 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 682.78
Current children cumulated vsize (KiB) 146500

[startup+402.301 s]

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

/proc/5319/task/5321/stat : 5321 (MiraXTv3_dyn) R 5317 5319 4933 0 -1 4194368 30653 0 0 0 183385 48 0 0 25 0 3 0 349223389 166219776 39097 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526373 0 0 4096 0 0 0 0 -1 0 0 0
[pid=5319/tid=5322] ppid=5317 vsize=162324 CPUtime=1840.67
/proc/5319/task/5322/stat : 5322 (MiraXTv3_dyn) R 5317 5319 4933 0 -1 4194368 30908 0 0 0 184029 38 0 0 25 0 3 0 349223389 166219776 39097 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526489 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3675.09
Current children cumulated vsize (KiB) 162324

[startup+1902.3 s]
/proc/loadavg: 1.99 1.97 1.95 3/68 5522
/proc/meminfo: memFree=933144/2055920 swapFree=4183236/4192956
[pid=5319] ppid=5317 vsize=162324 CPUtime=3794.78
/proc/5319/stat : 5319 (MiraXTv3_dyn) S 5317 5319 4933 0 -1 4194304 63243 0 0 0 379390 88 0 0 18 0 3 0 349223381 166219776 39108 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/5319/statm: 40581 39108 218 20 0 39939 0
[pid=5319/tid=5321] ppid=5317 vsize=162324 CPUtime=1894.04
/proc/5319/task/5321/stat : 5321 (MiraXTv3_dyn) R 5317 5319 4933 0 -1 4194368 31002 0 0 0 189356 48 0 0 25 0 3 0 349223389 166219776 39108 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=5319/tid=5322] ppid=5317 vsize=162324 CPUtime=1900.65
/proc/5319/task/5322/stat : 5322 (MiraXTv3_dyn) R 5317 5319 4933 0 -1 4194368 31256 0 0 0 190026 39 0 0 25 0 3 0 349223389 166219776 39108 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134520099 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3794.78
Current children cumulated vsize (KiB) 162324

[startup+1962.3 s]
/proc/loadavg: 1.99 1.97 1.95 3/68 5522
/proc/meminfo: memFree=930008/2055920 swapFree=4183236/4192956
[pid=5319] ppid=5317 vsize=165648 CPUtime=3914.5
/proc/5319/stat : 5319 (MiraXTv3_dyn) S 5317 5319 4933 0 -1 4194304 64637 0 0 0 391361 89 0 0 18 0 3 0 349223381 169623552 39927 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/5319/statm: 41412 39927 218 20 0 40770 0
[pid=5319/tid=5321] ppid=5317 vsize=165648 CPUtime=1953.78
/proc/5319/task/5321/stat : 5321 (MiraXTv3_dyn) R 5317 5319 4933 0 -1 4194368 32164 0 0 0 195329 49 0 0 25 0 3 0 349223389 169623552 39927 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526420 0 0 4096 0 0 0 0 -1 0 0 0
[pid=5319/tid=5322] ppid=5317 vsize=165648 CPUtime=1960.63
/proc/5319/task/5322/stat : 5322 (MiraXTv3_dyn) R 5317 5319 4933 0 -1 4194368 31488 0 0 0 196024 39 0 0 25 0 3 0 349223389 169623552 39927 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3914.5
Current children cumulated vsize (KiB) 165648

[startup+2022.3 s]
/proc/loadavg: 1.99 1.97 1.95 3/68 5522
/proc/meminfo: memFree=927768/2055920 swapFree=4183236/4192956
[pid=5319] ppid=5317 vsize=167244 CPUtime=4034.19
/proc/5319/stat : 5319 (MiraXTv3_dyn) S 5317 5319 4933 0 -1 4194304 65845 0 0 0 403329 90 0 0 18 0 3 0 349223381 171257856 40443 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/5319/statm: 41811 40443 218 20 0 41169 0
[pid=5319/tid=5321] ppid=5317 vsize=167244 CPUtime=2013.51
/proc/5319/task/5321/stat : 5321 (MiraXTv3_dyn) R 5317 5319 4933 0 -1 4194368 32907 0 0 0 201301 50 0 0 25 0 3 0 349223389 171257856 40443 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526477 0 0 4096 0 0 0 0 -1 0 0 0
[pid=5319/tid=5322] ppid=5317 vsize=167244 CPUtime=2020.59
/proc/5319/task/5322/stat : 5322 (MiraXTv3_dyn) R 5317 5319 4933 0 -1 4194368 31953 0 0 0 202020 39 0 0 25 0 3 0 349223389 171257856 40443 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4034.19
Current children cumulated vsize (KiB) 167244

[startup+2082.31 s]
/proc/loadavg: 1.99 1.97 1.95 3/68 5522
/proc/meminfo: memFree=926616/2055920 swapFree=4183236/4192956
[pid=5319] ppid=5317 vsize=168300 CPUtime=4153.92
/proc/5319/stat : 5319 (MiraXTv3_dyn) S 5317 5319 4933 0 -1 4194304 66828 0 0 0 415301 91 0 0 18 0 3 0 349223381 172339200 40730 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/5319/statm: 42075 40730 218 20 0 41433 0
[pid=5319/tid=5321] ppid=5317 vsize=168300 CPUtime=2073.24
/proc/5319/task/5321/stat : 5321 (MiraXTv3_dyn) R 5317 5319 4933 0 -1 4194368 33540 0 0 0 207273 51 0 0 25 0 3 0 349223389 172339200 40730 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526322 0 0 4096 0 0 0 0 -1 0 0 0
[pid=5319/tid=5322] ppid=5317 vsize=168300 CPUtime=2080.59
/proc/5319/task/5322/stat : 5322 (MiraXTv3_dyn) R 5317 5319 4933 0 -1 4194368 32303 0 0 0 208019 40 0 0 25 0 3 0 349223389 172339200 40730 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4153.92
Current children cumulated vsize (KiB) 168300

[startup+2142.3 s]
/proc/loadavg: 1.99 1.97 1.95 3/68 5522
/proc/meminfo: memFree=926616/2055920 swapFree=4183236/4192956
[pid=5319] ppid=5317 vsize=168300 CPUtime=4273.61
/proc/5319/stat : 5319 (MiraXTv3_dyn) S 5317 5319 4933 0 -1 4194304 67652 0 0 0 427270 91 0 0 18 0 3 0 349223381 172339200 40739 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/5319/statm: 42075 40739 218 20 0 41433 0
[pid=5319/tid=5321] ppid=5317 vsize=168300 CPUtime=2132.97
/proc/5319/task/5321/stat : 5321 (MiraXTv3_dyn) R 5317 5319 4933 0 -1 4194368 34011 0 0 0 213246 51 0 0 25 0 3 0 349223389 172339200 40739 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526477 0 0 4096 0 0 0 0 -1 0 0 0
[pid=5319/tid=5322] ppid=5317 vsize=168300 CPUtime=2140.55
/proc/5319/task/5322/stat : 5322 (MiraXTv3_dyn) R 5317 5319 4933 0 -1 4194368 32656 0 0 0 214015 40 0 0 25 0 3 0 349223389 172339200 40739 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526004 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4273.61
Current children cumulated vsize (KiB) 168300

[startup+2202.3 s]
/proc/loadavg: 1.99 1.97 1.95 3/68 5522
/proc/meminfo: memFree=917016/2055920 swapFree=4183236/4192956
[pid=5319] ppid=5317 vsize=177548 CPUtime=4393.33
/proc/5319/stat : 5319 (MiraXTv3_dyn) S 5317 5319 4933 0 -1 4194304 70729 0 0 0 439238 95 0 0 18 0 3 0 349223381 181809152 43114 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/5319/statm: 44387 43114 218 20 0 43745 0
[pid=5319/tid=5321] ppid=5317 vsize=177548 CPUtime=2192.69
/proc/5319/task/5321/stat : 5321 (MiraXTv3_dyn) R 5317 5319 4933 0 -1 4194368 35385 0 0 0 219217 52 0 0 25 0 3 0 349223389 181809152 43114 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=5319/tid=5322] ppid=5317 vsize=177548 CPUtime=2200.54
/proc/5319/task/5322/stat : 5322 (MiraXTv3_dyn) R 5317 5319 4933 0 -1 4194368 34359 0 0 0 220012 42 0 0 25 0 3 0 349223389 181809152 43114 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526717 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4393.33
Current children cumulated vsize (KiB) 177548

[startup+2262.3 s]
/proc/loadavg: 1.99 1.97 1.95 3/68 5522
/proc/meminfo: memFree=914456/2055920 swapFree=4183236/4192956
[pid=5319] ppid=5317 vsize=180056 CPUtime=4513.01
/proc/5319/stat : 5319 (MiraXTv3_dyn) S 5317 5319 4933 0 -1 4194304 72243 0 0 0 451205 96 0 0 18 0 3 0 349223381 184377344 43802 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/5319/statm: 45014 43802 218 20 0 44372 0
[pid=5319/tid=5321] ppid=5317 vsize=180056 CPUtime=2252.42
/proc/5319/task/5321/stat : 5321 (MiraXTv3_dyn) R 5317 5319 4933 0 -1 4194368 36402 0 0 0 225189 53 0 0 25 0 3 0 349223389 184377344 43802 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=5319/tid=5322] ppid=5317 vsize=180056 CPUtime=2260.49
/proc/5319/task/5322/stat : 5322 (MiraXTv3_dyn) R 5317 5319 4933 0 -1 4194368 34856 0 0 0 226007 42 0 0 25 0 3 0 349223389 184377344 43802 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4513.01
Current children cumulated vsize (KiB) 180056

[startup+2322.3 s]
/proc/loadavg: 1.99 1.97 1.95 3/68 5522
/proc/meminfo: memFree=914264/2055920 swapFree=4183236/4192956
[pid=5319] ppid=5317 vsize=180056 CPUtime=4632.72
/proc/5319/stat : 5319 (MiraXTv3_dyn) S 5317 5319 4933 0 -1 4194304 72963 0 0 0 463175 97 0 0 18 0 3 0 349223381 184377344 43812 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/5319/statm: 45014 43812 218 20 0 44372 0
[pid=5319/tid=5321] ppid=5317 vsize=180056 CPUtime=2312.15
/proc/5319/task/5321/stat : 5321 (MiraXTv3_dyn) R 5317 5319 4933 0 -1 4194368 36763 0 0 0 231161 54 0 0 25 0 3 0 349223389 184377344 43812 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526198 0 0 4096 0 0 0 0 -1 0 0 0
[pid=5319/tid=5322] ppid=5317 vsize=180056 CPUtime=2320.47
/proc/5319/task/5322/stat : 5322 (MiraXTv3_dyn) R 5317 5319 4933 0 -1 4194368 35215 0 0 0 232005 42 0 0 25 0 3 0 349223389 184377344 43812 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4632.72
Current children cumulated vsize (KiB) 180056

[startup+2382.3 s]
/proc/loadavg: 1.99 1.97 1.95 3/68 5522
/proc/meminfo: memFree=914264/2055920 swapFree=4183236/4192956
[pid=5319] ppid=5317 vsize=180056 CPUtime=4752.41
/proc/5319/stat : 5319 (MiraXTv3_dyn) S 5317 5319 4933 0 -1 4194304 73681 0 0 0 475144 97 0 0 18 0 3 0 349223381 184377344 43816 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/5319/statm: 45014 43816 218 20 0 44372 0
[pid=5319/tid=5321] ppid=5317 vsize=180056 CPUtime=2371.88
/proc/5319/task/5321/stat : 5321 (MiraXTv3_dyn) R 5317 5319 4933 0 -1 4194368 37122 0 0 0 237134 54 0 0 25 0 3 0 349223389 184377344 43816 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526477 0 0 4096 0 0 0 0 -1 0 0 0
[pid=5319/tid=5322] ppid=5317 vsize=180056 CPUtime=2380.44
/proc/5319/task/5322/stat : 5322 (MiraXTv3_dyn) R 5317 5319 4933 0 -1 4194368 35574 0 0 0 238002 42 0 0 25 0 3 0 349223389 184377344 43816 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526477 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4752.41
Current children cumulated vsize (KiB) 180056

[startup+2442.3 s]
/proc/loadavg: 1.99 1.97 1.95 3/68 5522
/proc/meminfo: memFree=914072/2055920 swapFree=4183236/4192956
[pid=5319] ppid=5317 vsize=180056 CPUtime=4872.14
/proc/5319/stat : 5319 (MiraXTv3_dyn) S 5317 5319 4933 0 -1 4194304 74409 0 0 0 487116 98 0 0 18 0 3 0 349223381 184377344 43826 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/5319/statm: 45014 43826 218 20 0 44372 0
[pid=5319/tid=5321] ppid=5317 vsize=180056 CPUtime=2431.62
/proc/5319/task/5321/stat : 5321 (MiraXTv3_dyn) R 5317 5319 4933 0 -1 4194368 37486 0 0 0 243108 54 0 0 25 0 3 0 349223389 184377344 43826 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=5319/tid=5322] ppid=5317 vsize=180056 CPUtime=2440.43
/proc/5319/task/5322/stat : 5322 (MiraXTv3_dyn) R 5317 5319 4933 0 -1 4194368 35938 0 0 0 244000 43 0 0 25 0 3 0 349223389 184377344 43826 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526322 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4872.14
Current children cumulated vsize (KiB) 180056

[startup+2502.3 s]
/proc/loadavg: 1.99 1.97 1.95 3/68 5522
/proc/meminfo: memFree=913880/2055920 swapFree=4183236/4192956
[pid=5319] ppid=5317 vsize=180320 CPUtime=4991.84
/proc/5319/stat : 5319 (MiraXTv3_dyn) S 5317 5319 4933 0 -1 4194304 75209 0 0 0 499086 98 0 0 18 0 3 0 349223381 184647680 43906 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/5319/statm: 45080 43906 218 20 0 44438 0
[pid=5319/tid=5321] ppid=5317 vsize=180320 CPUtime=2491.34
/proc/5319/task/5321/stat : 5321 (MiraXTv3_dyn) R 5317 5319 4933 0 -1 4194368 37925 0 0 0 249080 54 0 0 25 0 3 0 349223389 184647680 43906 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526291 0 0 4096 0 0 0 0 -1 0 0 0
[pid=5319/tid=5322] ppid=5317 vsize=180320 CPUtime=2500.41
/proc/5319/task/5322/stat : 5322 (MiraXTv3_dyn) R 5317 5319 4933 0 -1 4194368 36299 0 0 0 249998 43 0 0 25 0 3 0 349223389 184647680 43906 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4991.84
Current children cumulated vsize (KiB) 180320



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2506.4 s]
/proc/loadavg: 1.99 1.97 1.95 3/68 5522
/proc/meminfo: memFree=913880/2055920 swapFree=4183236/4192956
[pid=5319] ppid=5317 vsize=180320 CPUtime=5000.03
/proc/5319/stat : 5319 (MiraXTv3_dyn) S 5317 5319 4933 0 -1 4194304 75209 0 0 0 499905 98 0 0 18 0 3 0 349223381 184647680 43906 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/5319/statm: 45080 43906 218 20 0 44438 0
[pid=5319/tid=5321] ppid=5317 vsize=180320 CPUtime=2495.42
/proc/5319/task/5321/stat : 5321 (MiraXTv3_dyn) R 5317 5319 4933 0 -1 4194368 37925 0 0 0 249488 54 0 0 25 0 3 0 349223389 184647680 43906 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526717 0 0 4096 0 0 0 0 -1 0 0 0
[pid=5319/tid=5322] ppid=5317 vsize=180320 CPUtime=2504.51
/proc/5319/task/5322/stat : 5322 (MiraXTv3_dyn) R 5317 5319 4933 0 -1 4194368 36299 0 0 0 250408 43 0 0 25 0 3 0 349223389 184647680 43906 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 5000.03
Current children cumulated vsize (KiB) 180320

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 2506.44
CPU time (s): 5000.08
CPU user time (s): 4999.06
CPU system time (s): 1.01584
CPU usage (%): 199.489
Max. virtual memory (cumulated for all children) (KiB): 180800

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4999.06
system time used= 1.01585
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 75209
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= 407
involuntary context switches= 37728

runsolver used 2.6206 second user time and 6.51401 second system time

The end

Launcher Data (download as text)

Begin job on node74 on Sat May 12 23:38:06 UTC 2007

IDJOB= 426384
IDBENCH= 20210
IDSOLVER= 196
FILE ID= node74/426384-1179013086

PBS_JOBID= 5252972

Free space on /tmp= 103230 MiB

SOLVER NAME= MiraXT v3
BENCH NAME= HOME/pub/bench/SAT07/random/2+p/p0.7/v6500/unif2p-p0.7-v6500-c17355-S464355209-20-UNKNOWN.cnf
COMMAND LINE= /tmp/evaluation/426384-1179013086/MiraXTv3_dyn /tmp/evaluation/426384-1179013086/instance-426384-1179013086.cnf
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node74/watcher-426384-1179013086 -o ROOT/results/node74/solver-426384-1179013086 -C 5000 -W 7500 -M 1800 --output-limit 1,15  /tmp/evaluation/426384-1179013086/MiraXTv3_dyn /tmp/evaluation/426384-1179013086/instance-426384-1179013086.cnf

META MD5SUM SOLVER= 2ad149617ed8d249d89b067eb44c33da
MD5SUM BENCH=  a698176b415b0d699b7034931506758d

RANDOM SEED= 768804704

TIME LIMIT= 5000 seconds
MEMORY LIMIT= 1800 MiB

Linux node74.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.213
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.213
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:       1089864 kB
Buffers:         53564 kB
Cached:         779192 kB
SwapCached:       3236 kB
Active:         393764 kB
Inactive:       449400 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1089864 kB
SwapTotal:     4192956 kB
SwapFree:      4183236 kB
Dirty:            4184 kB
Writeback:           0 kB
Mapped:          16160 kB
Slab:           108720 kB
Committed_AS:  6936672 kB
PageTables:       1460 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264960 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 103230 MiB

End job on node74 on Sun May 13 00:19:55 UTC 2007