Trace number 426318

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds, and are wall clock time (not CPU time).

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
MiraXT v3? (TO) 5000.16 2507.33

General information on the benchmark

Namerandom/LargeSize/7SAT/v140/
unif-k7-r85-v140-c11900-S1426208256-08.cnf
MD5SUM32c7108510845a898764d9e87c0505ce
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark107.678
Satisfiable
(Un)Satisfiability was proved
Number of variables140
Number of clauses11900
Sum of the clauses size83300
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 511900

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

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


[startup+0 s]
/proc/loadavg: 1.84 1.99 2.03 3/77 29187
/proc/meminfo: memFree=1605112/2055920 swapFree=4150068/4192956
[pid=29187] ppid=29185 vsize=3788 CPUtime=0
/proc/29187/stat : 29187 (MiraXTv3_dyn) R 29185 29187 29056 0 -1 4194304 355 0 0 0 0 0 0 0 18 0 1 0 377072911 3878912 330 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 8328827 0 0 4096 0 0 0 0 17 0 0 0
/proc/29187/statm: 947 330 206 20 0 305 0

[startup+0.038992 s]
/proc/loadavg: 1.84 1.99 2.03 3/77 29187
/proc/meminfo: memFree=1605112/2055920 swapFree=4150068/4192956
[pid=29187] ppid=29185 vsize=4780 CPUtime=0.03
/proc/29187/stat : 29187 (MiraXTv3_dyn) R 29185 29187 29056 0 -1 4194304 622 0 0 0 3 0 0 0 18 0 1 0 377072911 4894720 597 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134583707 0 0 4096 0 0 0 0 17 0 0 0
/proc/29187/statm: 1195 597 207 20 0 553 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 4780

[startup+0.101998 s]
/proc/loadavg: 1.84 1.99 2.03 3/77 29187
/proc/meminfo: memFree=1605112/2055920 swapFree=4150068/4192956
[pid=29187] ppid=29185 vsize=4780 CPUtime=0.09
/proc/29187/stat : 29187 (MiraXTv3_dyn) R 29185 29187 29056 0 -1 4194304 622 0 0 0 9 0 0 0 18 0 1 0 377072911 4894720 597 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134583912 0 0 4096 0 0 0 0 17 0 0 0
/proc/29187/statm: 1195 597 207 20 0 553 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4780

[startup+0.302024 s]
/proc/loadavg: 1.84 1.99 2.03 3/77 29187
/proc/meminfo: memFree=1605112/2055920 swapFree=4150068/4192956
[pid=29187] ppid=29185 vsize=9828 CPUtime=0.31
/proc/29187/stat : 29187 (MiraXTv3_dyn) S 29185 29187 29056 0 -1 4194304 1081 0 0 0 31 0 0 0 19 0 3 0 377072911 10063872 1056 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/29187/statm: 2457 1056 218 20 0 1815 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 9828

[startup+0.70107 s]
/proc/loadavg: 1.84 1.99 2.03 3/77 29187
/proc/meminfo: memFree=1605112/2055920 swapFree=4150068/4192956
[pid=29187] ppid=29185 vsize=14300 CPUtime=1.11
/proc/29187/stat : 29187 (MiraXTv3_dyn) S 29185 29187 29056 0 -1 4194304 2003 0 0 0 110 1 0 0 19 0 3 0 377072911 14643200 1978 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/29187/statm: 3575 1978 218 20 0 2933 0
Current children cumulated CPU time (s) 1.11
Current children cumulated vsize (KiB) 14300

[startup+1.50116 s]
/proc/loadavg: 1.84 1.99 2.03 3/80 29190
/proc/meminfo: memFree=1595296/2055920 swapFree=4150068/4192956
[pid=29187] ppid=29185 vsize=19544 CPUtime=2.71
/proc/29187/stat : 29187 (MiraXTv3_dyn) S 29185 29187 29056 0 -1 4194304 3596 0 0 0 269 2 0 0 19 0 3 0 377072911 20013056 3571 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/29187/statm: 4886 3571 218 20 0 4244 0
[pid=29187/tid=29189] ppid=29185 vsize=19544 CPUtime=1.22
/proc/29187/task/29189/stat : 29189 (MiraXTv3_dyn) R 29185 29187 29056 0 -1 4194368 1460 0 0 0 122 0 0 0 21 0 3 0 377072938 20013056 3571 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 8328827 0 0 4096 0 0 0 0 -1 0 0 0
[pid=29187/tid=29190] ppid=29185 vsize=19544 CPUtime=1.2
/proc/29187/task/29190/stat : 29190 (MiraXTv3_dyn) R 29185 29187 29056 0 -1 4194368 1440 0 0 0 120 0 0 0 17 0 3 0 377072938 20013056 3571 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526454 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.71
Current children cumulated vsize (KiB) 19544

[startup+3.10235 s]
/proc/loadavg: 1.85 1.99 2.03 3/80 29190
/proc/meminfo: memFree=1588896/2055920 swapFree=4150068/4192956
[pid=29187] ppid=29185 vsize=22932 CPUtime=5.89
/proc/29187/stat : 29187 (MiraXTv3_dyn) S 29185 29187 29056 0 -1 4194304 4471 0 0 0 586 3 0 0 19 0 3 0 377072911 23482368 4446 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/29187/statm: 5733 4446 218 20 0 5091 0
[pid=29187/tid=29189] ppid=29185 vsize=22932 CPUtime=2.81
/proc/29187/task/29189/stat : 29189 (MiraXTv3_dyn) R 29185 29187 29056 0 -1 4194368 1808 0 0 0 280 1 0 0 25 0 3 0 377072938 23482368 4446 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=29187/tid=29190] ppid=29185 vsize=22932 CPUtime=2.8
/proc/29187/task/29190/stat : 29190 (MiraXTv3_dyn) R 29185 29187 29056 0 -1 4194368 1967 0 0 0 279 1 0 0 18 0 3 0 377072938 23482368 4446 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 5.89
Current children cumulated vsize (KiB) 22932

[startup+6.30171 s]
/proc/loadavg: 1.85 1.99 2.03 3/80 29190
/proc/meminfo: memFree=1577568/2055920 swapFree=4150068/4192956
[pid=29187] ppid=29185 vsize=35936 CPUtime=12.27
/proc/29187/stat : 29187 (MiraXTv3_dyn) S 29185 29187 29056 0 -1 4194304 8057 0 0 0 1221 6 0 0 19 0 3 0 377072911 36798464 7884 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/29187/statm: 8984 7884 218 20 0 8342 0
[pid=29187/tid=29189] ppid=29185 vsize=35936 CPUtime=6
/proc/29187/task/29189/stat : 29189 (MiraXTv3_dyn) R 29185 29187 29056 0 -1 4194368 3587 0 0 0 598 2 0 0 25 0 3 0 377072938 36798464 7884 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526341 0 0 4096 0 0 0 0 -1 0 0 0
[pid=29187/tid=29190] ppid=29185 vsize=35936 CPUtime=5.99
/proc/29187/task/29190/stat : 29190 (MiraXTv3_dyn) R 29185 29187 29056 0 -1 4194368 3774 0 0 0 596 3 0 0 25 0 3 0 377072938 36798464 7884 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526302 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.27
Current children cumulated vsize (KiB) 35936

[startup+12.7024 s]
/proc/loadavg: 1.87 1.99 2.03 3/80 29190
/proc/meminfo: memFree=1558240/2055920 swapFree=4150068/4192956
[pid=29187] ppid=29185 vsize=52612 CPUtime=25.03
/proc/29187/stat : 29187 (MiraXTv3_dyn) S 29185 29187 29056 0 -1 4194304 12121 0 0 0 2492 11 0 0 19 0 3 0 377072911 53874688 11758 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/29187/statm: 13153 11758 218 20 0 12511 0
[pid=29187/tid=29189] ppid=29185 vsize=52612 CPUtime=12.39
/proc/29187/task/29189/stat : 29189 (MiraXTv3_dyn) R 29185 29187 29056 0 -1 4194368 5706 0 0 0 1235 4 0 0 25 0 3 0 377072938 53874688 11758 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526291 0 0 4096 0 0 0 0 -1 0 0 0
[pid=29187/tid=29190] ppid=29185 vsize=52612 CPUtime=12.36
/proc/29187/task/29190/stat : 29190 (MiraXTv3_dyn) R 29185 29187 29056 0 -1 4194368 5719 0 0 0 1230 6 0 0 25 0 3 0 377072938 53874688 11758 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526613 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.03
Current children cumulated vsize (KiB) 52612

[startup+25.5019 s]
/proc/loadavg: 1.89 1.99 2.03 3/80 29190
/proc/meminfo: memFree=1544800/2055920 swapFree=4150068/4192956
[pid=29187] ppid=29185 vsize=66712 CPUtime=50.57
/proc/29187/stat : 29187 (MiraXTv3_dyn) S 29185 29187 29056 0 -1 4194304 16251 0 0 0 5040 17 0 0 19 0 3 0 377072911 68313088 15366 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/29187/statm: 16678 15366 218 20 0 16036 0
[pid=29187/tid=29189] ppid=29185 vsize=66712 CPUtime=25.19
/proc/29187/task/29189/stat : 29189 (MiraXTv3_dyn) R 29185 29187 29056 0 -1 4194368 7684 0 0 0 2512 7 0 0 25 0 3 0 377072938 68313088 15366 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526322 0 0 4096 0 0 0 0 -1 0 0 0
[pid=29187/tid=29190] ppid=29185 vsize=66712 CPUtime=25.11
/proc/29187/task/29190/stat : 29190 (MiraXTv3_dyn) R 29185 29187 29056 0 -1 4194368 7871 0 0 0 2501 10 0 0 25 0 3 0 377072938 68313088 15366 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.57
Current children cumulated vsize (KiB) 66712

[startup+51.1018 s]
/proc/loadavg: 2.01 2.00 2.03 3/80 29190
/proc/meminfo: memFree=1535072/2055920 swapFree=4150068/4192956
[pid=29187] ppid=29185 vsize=76096 CPUtime=101.61
/proc/29187/stat : 29187 (MiraXTv3_dyn) S 29185 29187 29056 0 -1 4194304 19356 0 0 0 10139 22 0 0 19 0 3 0 377072911 77922304 17512 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/29187/statm: 19024 17512 218 20 0 18382 0
[pid=29187/tid=29189] ppid=29185 vsize=76096 CPUtime=50.73
/proc/29187/task/29189/stat : 29189 (MiraXTv3_dyn) R 29185 29187 29056 0 -1 4194368 9405 0 0 0 5064 9 0 0 25 0 3 0 377072938 77922304 17512 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=29187/tid=29190] ppid=29185 vsize=76096 CPUtime=50.6
/proc/29187/task/29190/stat : 29190 (MiraXTv3_dyn) R 29185 29187 29056 0 -1 4194368 9255 0 0 0 5048 12 0 0 25 0 3 0 377072938 77922304 17512 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.61
Current children cumulated vsize (KiB) 76096

[startup+102.307 s]
/proc/loadavg: 2.08 2.02 2.03 3/80 29190
/proc/meminfo: memFree=1532576/2055920 swapFree=4150068/4192956
[pid=29187] ppid=29185 vsize=77580 CPUtime=203.73
/proc/29187/stat : 29187 (MiraXTv3_dyn) S 29185 29187 29056 0 -1 4194304 21690 0 0 0 20349 24 0 0 19 0 3 0 377072911 79441920 18091 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/29187/statm: 19395 18091 218 20 0 18753 0
[pid=29187/tid=29189] ppid=29185 vsize=77580 CPUtime=101.88
/proc/29187/task/29189/stat : 29189 (MiraXTv3_dyn) R 29185 29187 29056 0 -1 4194368 10706 0 0 0 10178 10 0 0 25 0 3 0 377072938 79441920 18091 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526702 0 0 4096 0 0 0 0 -1 0 0 0
[pid=29187/tid=29190] ppid=29185 vsize=77580 CPUtime=101.57
/proc/29187/task/29190/stat : 29190 (MiraXTv3_dyn) R 29185 29187 29056 0 -1 4194368 10288 0 0 0 10144 13 0 0 25 0 3 0 377072938 79441920 18091 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134525926 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 203.73
Current children cumulated vsize (KiB) 77580

[startup+162.301 s]
/proc/loadavg: 2.10 2.03 2.03 3/80 29190
/proc/meminfo: memFree=1532512/2055920 swapFree=4150068/4192956
[pid=29187] ppid=29185 vsize=77580 CPUtime=323.37
/proc/29187/stat : 29187 (MiraXTv3_dyn) S 29185 29187 29056 0 -1 4194304 23615 0 0 0 32312 25 0 0 19 0 3 0 377072911 79441920 18129 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/29187/statm: 19395 18129 218 20 0 18753 0
[pid=29187/tid=29189] ppid=29185 vsize=77580 CPUtime=161.78
/proc/29187/task/29189/stat : 29189 (MiraXTv3_dyn) R 29185 29187 29056 0 -1 4194368 11683 0 0 0 16168 10 0 0 25 0 3 0 377072938 79441920 18129 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526531 0 0 4096 0 0 0 0 -1 0 0 0
[pid=29187/tid=29190] ppid=29185 vsize=77580 CPUtime=161.31
/proc/29187/task/29190/stat : 29190 (MiraXTv3_dyn) R 29185 29187 29056 0 -1 4194368 11236 0 0 0 16117 14 0 0 25 0 3 0 377072938 79441920 18129 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526714 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 323.37
Current children cumulated vsize (KiB) 77580

[startup+222.301 s]
/proc/loadavg: 2.17 2.05 2.04 3/80 29190
/proc/meminfo: memFree=1531296/2055920 swapFree=4150068/4192956
[pid=29187] ppid=29185 vsize=79292 CPUtime=443.01
/proc/29187/stat : 29187 (MiraXTv3_dyn) S 29185 29187 29056 0 -1 4194304 25744 0 0 0 44275 26 0 0 19 0 3 0 377072911 81195008 18429 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/29187/statm: 19823 18429 218 20 0 19181 0
[pid=29187/tid=29189] ppid=29185 vsize=79292 CPUtime=221.7
/proc/29187/task/29189/stat : 29189 (MiraXTv3_dyn) R 29185 29187 29056 0 -1 4194368 12738 0 0 0 22159 11 0 0 25 0 3 0 377072938 81195008 18429 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=29187/tid=29190] ppid=29185 vsize=79292 CPUtime=221.04
/proc/29187/task/29190/stat : 29190 (MiraXTv3_dyn) R 29185 29187 29056 0 -1 4194368 12310 0 0 0 22089 15 0 0 25 0 3 0 377072938 81195008 18429 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 443.01
Current children cumulated vsize (KiB) 79292

[startup+282.302 s]
/proc/loadavg: 2.12 2.06 2.04 4/80 29190
/proc/meminfo: memFree=1524064/2055920 swapFree=4150068/4192956
[pid=29187] ppid=29185 vsize=86072 CPUtime=562.69
/proc/29187/stat : 29187 (MiraXTv3_dyn) S 29185 29187 29056 0 -1 4194304 29177 0 0 0 56239 30 0 0 19 0 3 0 377072911 88137728 20213 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/29187/statm: 21518 20213 218 20 0 20876 0
[pid=29187/tid=29189] ppid=29185 vsize=86072 CPUtime=281.61
/proc/29187/task/29189/stat : 29189 (MiraXTv3_dyn) R 29185 29187 29056 0 -1 4194368 13812 0 0 0 28150 11 0 0 25 0 3 0 377072938 88137728 20213 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
[pid=29187/tid=29190] ppid=29185 vsize=86072 CPUtime=280.79
/proc/29187/task/29190/stat : 29190 (MiraXTv3_dyn) R 29185 29187 29056 0 -1 4194368 14669 0 0 0 28061 18 0 0 25 0 3 0 377072938 88137728 20213 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526286 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 562.69
Current children cumulated vsize (KiB) 86072

[startup+342.302 s]
/proc/loadavg: 2.16 2.08 2.04 3/80 29190
/proc/meminfo: memFree=1521760/2055920 swapFree=4150068/4192956
[pid=29187] ppid=29185 vsize=89676 CPUtime=682.35
/proc/29187/stat : 29187 (MiraXTv3_dyn) S 29185 29187 29056 0 -1 4194304 31705 0 0 0 68204 31 0 0 19 0 3 0 377072911 91828224 20829 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/29187/statm: 22419 20829 218 20 0 21777 0
[pid=29187/tid=29189] ppid=29185 vsize=89676 CPUtime=341.56
/proc/29187/task/29189/stat : 29189 (MiraXTv3_dyn) R 29185 29187 29056 0 -1 4194368 15292 0 0 0 34144 12 0 0 25 0 3 0 377072938 91828224 20829 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134530009 0 0 4096 0 0 0 0 -1 0 0 0
[pid=29187/tid=29190] ppid=29185 vsize=89676 CPUtime=340.52
/proc/29187/task/29190/stat : 29190 (MiraXTv3_dyn) R 29185 29187 29056 0 -1 4194368 15717 0 0 0 34033 19 0 0 25 0 3 0 377072938 91828224 20829 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 682.35
Current children cumulated vsize (KiB) 89676

[startup+402.302 s]

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

/proc/29187/task/29189/stat : 29189 (MiraXTv3_dyn) R 29185 29187 29056 0 -1 4194368 43179 0 0 0 189918 47 0 0 25 0 3 0 377072938 129888256 29946 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526317 0 0 4096 0 0 0 0 -1 0 0 0
[pid=29187/tid=29190] ppid=29185 vsize=126844 CPUtime=1893.51
/proc/29187/task/29190/stat : 29190 (MiraXTv3_dyn) R 29185 29187 29056 0 -1 4194368 39318 0 0 0 189305 46 0 0 25 0 3 0 377072938 129888256 29946 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3793.44
Current children cumulated vsize (KiB) 126844

[startup+1962.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/80 29388
/proc/meminfo: memFree=1484704/2055920 swapFree=4150068/4192956
[pid=29187] ppid=29185 vsize=127028 CPUtime=3913.13
/proc/29187/stat : 29187 (MiraXTv3_dyn) S 29185 29187 29056 0 -1 4194304 84796 0 0 0 391218 95 0 0 19 0 3 0 377072911 130076672 30031 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/29187/statm: 31757 30031 218 20 0 31115 0
[pid=29187/tid=29189] ppid=29185 vsize=127028 CPUtime=1959.59
/proc/29187/task/29189/stat : 29189 (MiraXTv3_dyn) R 29185 29187 29056 0 -1 4194368 44057 0 0 0 195911 48 0 0 25 0 3 0 377072938 130076672 30031 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=29187/tid=29190] ppid=29185 vsize=127028 CPUtime=1953.25
/proc/29187/task/29190/stat : 29190 (MiraXTv3_dyn) R 29185 29187 29056 0 -1 4194368 40043 0 0 0 195279 46 0 0 25 0 3 0 377072938 130076672 30031 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526312 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3913.13
Current children cumulated vsize (KiB) 127028

[startup+2022.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/80 29388
/proc/meminfo: memFree=1483360/2055920 swapFree=4150068/4192956
[pid=29187] ppid=29185 vsize=128052 CPUtime=4032.78
/proc/29187/stat : 29187 (MiraXTv3_dyn) S 29185 29187 29056 0 -1 4194304 86449 0 0 0 403182 96 0 0 19 0 3 0 377072911 131125248 30364 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/29187/statm: 32013 30364 218 20 0 31371 0
[pid=29187/tid=29189] ppid=29185 vsize=128052 CPUtime=2019.51
/proc/29187/task/29189/stat : 29189 (MiraXTv3_dyn) R 29185 29187 29056 0 -1 4194368 44810 0 0 0 201903 48 0 0 23 0 3 0 377072938 131125248 30364 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526410 0 0 4096 0 0 0 0 -1 0 0 0
[pid=29187/tid=29190] ppid=29185 vsize=128052 CPUtime=2012.99
/proc/29187/task/29190/stat : 29190 (MiraXTv3_dyn) R 29185 29187 29056 0 -1 4194368 40943 0 0 0 201252 47 0 0 22 0 3 0 377072938 131125248 30364 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526477 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4032.78
Current children cumulated vsize (KiB) 128052

[startup+2082.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/80 29388
/proc/meminfo: memFree=1483232/2055920 swapFree=4150068/4192956
[pid=29187] ppid=29185 vsize=129076 CPUtime=4152.46
/proc/29187/stat : 29187 (MiraXTv3_dyn) S 29185 29187 29056 0 -1 4194304 88056 0 0 0 415148 98 0 0 19 0 3 0 377072911 132173824 30387 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/29187/statm: 32269 30387 218 20 0 31627 0
[pid=29187/tid=29189] ppid=29185 vsize=129076 CPUtime=2079.44
/proc/29187/task/29189/stat : 29189 (MiraXTv3_dyn) R 29185 29187 29056 0 -1 4194368 45604 0 0 0 207895 49 0 0 25 0 3 0 377072938 132173824 30387 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526489 0 0 4096 0 0 0 0 -1 0 0 0
[pid=29187/tid=29190] ppid=29185 vsize=129076 CPUtime=2072.74
/proc/29187/task/29190/stat : 29190 (MiraXTv3_dyn) R 29185 29187 29056 0 -1 4194368 41756 0 0 0 207226 48 0 0 25 0 3 0 377072938 132173824 30387 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526322 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4152.46
Current children cumulated vsize (KiB) 129076

[startup+2142.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/80 29388
/proc/meminfo: memFree=1483104/2055920 swapFree=4150068/4192956
[pid=29187] ppid=29185 vsize=129284 CPUtime=4272.13
/proc/29187/stat : 29187 (MiraXTv3_dyn) S 29185 29187 29056 0 -1 4194304 89693 0 0 0 427113 100 0 0 19 0 3 0 377072911 132386816 30440 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/29187/statm: 32321 30440 218 20 0 31679 0
[pid=29187/tid=29189] ppid=29185 vsize=129284 CPUtime=2139.36
/proc/29187/task/29189/stat : 29189 (MiraXTv3_dyn) R 29185 29187 29056 0 -1 4194368 46447 0 0 0 213886 50 0 0 25 0 3 0 377072938 132386816 30440 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526702 0 0 4096 0 0 0 0 -1 0 0 0
[pid=29187/tid=29190] ppid=29185 vsize=129284 CPUtime=2132.48
/proc/29187/task/29190/stat : 29190 (MiraXTv3_dyn) R 29185 29187 29056 0 -1 4194368 42550 0 0 0 213199 49 0 0 25 0 3 0 377072938 132386816 30440 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4272.13
Current children cumulated vsize (KiB) 129284

[startup+2202.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/80 29388
/proc/meminfo: memFree=1480928/2055920 swapFree=4150068/4192956
[pid=29187] ppid=29185 vsize=131332 CPUtime=4391.8
/proc/29187/stat : 29187 (MiraXTv3_dyn) S 29185 29187 29056 0 -1 4194304 91753 0 0 0 439078 102 0 0 19 0 3 0 377072911 134483968 30982 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/29187/statm: 32833 30982 218 20 0 32191 0
[pid=29187/tid=29189] ppid=29185 vsize=131332 CPUtime=2199.3
/proc/29187/task/29189/stat : 29189 (MiraXTv3_dyn) R 29185 29187 29056 0 -1 4194368 47781 0 0 0 219879 51 0 0 25 0 3 0 377072938 134483968 30982 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=29187/tid=29190] ppid=29185 vsize=131332 CPUtime=2192.22
/proc/29187/task/29190/stat : 29190 (MiraXTv3_dyn) R 29185 29187 29056 0 -1 4194368 43276 0 0 0 219172 50 0 0 25 0 3 0 377072938 134483968 30982 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526277 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4391.8
Current children cumulated vsize (KiB) 131332

[startup+2262.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/80 29388
/proc/meminfo: memFree=1480736/2055920 swapFree=4150068/4192956
[pid=29187] ppid=29185 vsize=131564 CPUtime=4511.47
/proc/29187/stat : 29187 (MiraXTv3_dyn) S 29185 29187 29056 0 -1 4194304 93452 0 0 0 451044 103 0 0 19 0 3 0 377072911 134721536 31031 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/29187/statm: 32891 31031 218 20 0 32249 0
[pid=29187/tid=29189] ppid=29185 vsize=131564 CPUtime=2259.23
/proc/29187/task/29189/stat : 29189 (MiraXTv3_dyn) R 29185 29187 29056 0 -1 4194368 48663 0 0 0 225871 52 0 0 25 0 3 0 377072938 134721536 31031 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=29187/tid=29190] ppid=29185 vsize=131564 CPUtime=2251.97
/proc/29187/task/29190/stat : 29190 (MiraXTv3_dyn) R 29185 29187 29056 0 -1 4194368 44093 0 0 0 225146 51 0 0 25 0 3 0 377072938 134721536 31031 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526288 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4511.47
Current children cumulated vsize (KiB) 131564

[startup+2322.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/80 29388
/proc/meminfo: memFree=1480544/2055920 swapFree=4150068/4192956
[pid=29187] ppid=29185 vsize=131712 CPUtime=4631.15
/proc/29187/stat : 29187 (MiraXTv3_dyn) S 29185 29187 29056 0 -1 4194304 95077 0 0 0 463010 105 0 0 19 0 3 0 377072911 134873088 31072 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/29187/statm: 32928 31072 218 20 0 32286 0
[pid=29187/tid=29189] ppid=29185 vsize=131712 CPUtime=2319.16
/proc/29187/task/29189/stat : 29189 (MiraXTv3_dyn) R 29185 29187 29056 0 -1 4194368 49561 0 0 0 231864 52 0 0 25 0 3 0 377072938 134873088 31072 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526477 0 0 4096 0 0 0 0 -1 0 0 0
[pid=29187/tid=29190] ppid=29185 vsize=131712 CPUtime=2311.69
/proc/29187/task/29190/stat : 29190 (MiraXTv3_dyn) R 29185 29187 29056 0 -1 4194368 44820 0 0 0 231118 51 0 0 25 0 3 0 377072938 134873088 31072 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4631.15
Current children cumulated vsize (KiB) 131712

[startup+2382.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/80 29388
/proc/meminfo: memFree=1479904/2055920 swapFree=4150068/4192956
[pid=29187] ppid=29185 vsize=131920 CPUtime=4750.81
/proc/29187/stat : 29187 (MiraXTv3_dyn) S 29185 29187 29056 0 -1 4194304 96899 0 0 0 474974 107 0 0 19 0 3 0 377072911 135086080 31224 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/29187/statm: 32980 31224 218 20 0 32338 0
[pid=29187/tid=29189] ppid=29185 vsize=131920 CPUtime=2379.09
/proc/29187/task/29189/stat : 29189 (MiraXTv3_dyn) R 29185 29187 29056 0 -1 4194368 50461 0 0 0 237856 53 0 0 18 0 3 0 377072938 135086080 31224 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526702 0 0 4096 0 0 0 0 -1 0 0 0
[pid=29187/tid=29190] ppid=29185 vsize=131920 CPUtime=2371.44
/proc/29187/task/29190/stat : 29190 (MiraXTv3_dyn) R 29185 29187 29056 0 -1 4194368 45742 0 0 0 237091 53 0 0 18 0 3 0 377072938 135086080 31224 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526324 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4750.81
Current children cumulated vsize (KiB) 131920

[startup+2442.3 s]
/proc/loadavg: 1.96 1.98 1.99 3/80 29388
/proc/meminfo: memFree=1479712/2055920 swapFree=4150068/4192956
[pid=29187] ppid=29185 vsize=131920 CPUtime=4870.47
/proc/29187/stat : 29187 (MiraXTv3_dyn) S 29185 29187 29056 0 -1 4194304 98599 0 0 0 486939 108 0 0 19 0 3 0 377072911 135086080 31274 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/29187/statm: 32980 31274 218 20 0 32338 0
[pid=29187/tid=29189] ppid=29185 vsize=131920 CPUtime=2439.01
/proc/29187/task/29189/stat : 29189 (MiraXTv3_dyn) R 29185 29187 29056 0 -1 4194368 51282 0 0 0 243848 53 0 0 25 0 3 0 377072938 135086080 31274 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526322 0 0 4096 0 0 0 0 -1 0 0 0
[pid=29187/tid=29190] ppid=29185 vsize=131920 CPUtime=2431.18
/proc/29187/task/29190/stat : 29190 (MiraXTv3_dyn) R 29185 29187 29056 0 -1 4194368 46621 0 0 0 243064 54 0 0 25 0 3 0 377072938 135086080 31274 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4870.47
Current children cumulated vsize (KiB) 131920

[startup+2502.3 s]
/proc/loadavg: 1.98 1.98 1.99 3/80 29388
/proc/meminfo: memFree=1477088/2055920 swapFree=4150068/4192956
[pid=29187] ppid=29185 vsize=133968 CPUtime=4990.13
/proc/29187/stat : 29187 (MiraXTv3_dyn) S 29185 29187 29056 0 -1 4194304 100843 0 0 0 498902 111 0 0 19 0 3 0 377072911 137183232 31934 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/29187/statm: 33492 31934 218 20 0 32850 0
[pid=29187/tid=29189] ppid=29185 vsize=133968 CPUtime=2498.94
/proc/29187/task/29189/stat : 29189 (MiraXTv3_dyn) R 29185 29187 29056 0 -1 4194368 52778 0 0 0 249839 55 0 0 25 0 3 0 377072938 137183232 31934 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526486 0 0 4096 0 0 0 0 -1 0 0 0
[pid=29187/tid=29190] ppid=29185 vsize=133968 CPUtime=2490.91
/proc/29187/task/29190/stat : 29190 (MiraXTv3_dyn) R 29185 29187 29056 0 -1 4194368 47369 0 0 0 249036 55 0 0 21 0 3 0 377072938 137183232 31934 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526351 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4990.13
Current children cumulated vsize (KiB) 133968



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2507.3 s]
/proc/loadavg: 1.98 1.98 1.99 3/80 29388
/proc/meminfo: memFree=1477088/2055920 swapFree=4150068/4192956
[pid=29187] ppid=29185 vsize=133968 CPUtime=5000.11
/proc/29187/stat : 29187 (MiraXTv3_dyn) S 29185 29187 29056 0 -1 4194304 100975 0 0 0 499900 111 0 0 19 0 3 0 377072911 137183232 31934 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/29187/statm: 33492 31934 218 20 0 32850 0
[pid=29187/tid=29189] ppid=29185 vsize=133968 CPUtime=2503.94
/proc/29187/task/29189/stat : 29189 (MiraXTv3_dyn) R 29185 29187 29056 0 -1 4194368 52844 0 0 0 250339 55 0 0 25 0 3 0 377072938 137183232 31934 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=29187/tid=29190] ppid=29185 vsize=133968 CPUtime=2495.89
/proc/29187/task/29190/stat : 29190 (MiraXTv3_dyn) R 29185 29187 29056 0 -1 4194368 47435 0 0 0 249534 55 0 0 25 0 3 0 377072938 137183232 31934 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 5000.11
Current children cumulated vsize (KiB) 133968

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

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

[startup+2507.3 s]
/proc/loadavg: 1.98 1.98 1.99 3/80 29388
/proc/meminfo: memFree=1477088/2055920 swapFree=4150068/4192956
[pid=29187] ppid=29185 vsize=133968 CPUtime=5000.11
/proc/29187/stat : 29187 (MiraXTv3_dyn) S 29185 29187 29056 0 -1 4194304 100975 0 0 0 499900 111 0 0 19 0 3 0 377072911 137183232 31934 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/29187/statm: 33492 31934 218 20 0 32850 0
[pid=29187/tid=29189] ppid=29185 vsize=133968 CPUtime=2503.94
/proc/29187/task/29189/stat : 29189 (MiraXTv3_dyn) R 29185 29187 29056 0 -1 4194368 52844 0 0 0 250339 55 0 0 25 0 3 0 377072938 137183232 31934 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=29187/tid=29190] ppid=29185 vsize=133968 CPUtime=2495.89
/proc/29187/task/29190/stat : 29190 (MiraXTv3_dyn) R 29185 29187 29056 0 -1 4194368 47435 0 0 0 249534 55 0 0 25 0 3 0 377072938 137183232 31934 18446744073709551615 134512640 134597700 4294956656 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 5000.11
Current children cumulated vsize (KiB) 133968

Child ended because it received signal 15 (SIGTERM)
Real time (s): 2507.33
CPU time (s): 5000.16
CPU user time (s): 4999.02
CPU system time (s): 1.13583
CPU usage (%): 199.421
Max. virtual memory (cumulated for all children) (KiB): 134232

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4999.02
system time used= 1.13583
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 100975
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= 1335
involuntary context switches= 93904

runsolver used 2.57061 second user time and 6.61899 second system time

The end

Launcher Data (download as text)

Begin job on node5 on Sat May 12 22:52:33 UTC 2007

IDJOB= 426318
IDBENCH= 20143
IDSOLVER= 196
FILE ID= node5/426318-1179010352

PBS_JOBID= 5252870

Free space on /tmp= 66532 MiB

SOLVER NAME= MiraXT v3
BENCH NAME= HOME/pub/bench/SAT07/random/LargeSize/7SAT/v140/unif-k7-r85-v140-c11900-S1426208256-08.cnf
COMMAND LINE= /tmp/evaluation/426318-1179010352/MiraXTv3_dyn /tmp/evaluation/426318-1179010352/instance-426318-1179010352.cnf
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node5/watcher-426318-1179010352 -o ROOT/results/node5/solver-426318-1179010352 -C 5000 -W 7500 -M 1800 --output-limit 1,15  /tmp/evaluation/426318-1179010352/MiraXTv3_dyn /tmp/evaluation/426318-1179010352/instance-426318-1179010352.cnf

META MD5SUM SOLVER= 2ad149617ed8d249d89b067eb44c33da
MD5SUM BENCH=  32c7108510845a898764d9e87c0505ce

RANDOM SEED= 808866610

TIME LIMIT= 5000 seconds
MEMORY LIMIT= 1800 MiB

Linux node5.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.232
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.232
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:       1605264 kB
Buffers:         48560 kB
Cached:         313576 kB
SwapCached:      11320 kB
Active:         177200 kB
Inactive:       208296 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1605264 kB
SwapTotal:     4192956 kB
SwapFree:      4150068 kB
Dirty:            4228 kB
Writeback:           0 kB
Mapped:          30220 kB
Slab:            50704 kB
Committed_AS: 14095044 kB
PageTables:       1720 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= 66532 MiB

End job on node5 on Sat May 12 23:34:22 UTC 2007