Trace number 456411

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.17 2506.83

General information on the benchmark

Namecrafted/Hard/contest03/looksrandom/
hgen7-n390-02-S178568232.sat05-479.reshuffled-07.cnf
MD5SUM95e4195bdde82ec65467d8f29f037cf2
Bench CategoryCRAFTED (crafted 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 variables390
Number of clauses1722
Sum of the clauses size5166
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 31722
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/node39/watcher-456411-1179023288 -o ROOT/results/node39/solver-456411-1179023288 -C 5000 -W 7500 -M 1800 --output-limit 1,15 /tmp/evaluation/456411-1179023288/MiraXTv3_dyn /tmp/evaluation/456411-1179023288/instance-456411-1179023288.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: 3.15 2.92 2.41 3/77 16422
/proc/meminfo: memFree=1065520/2055920 swapFree=4159376/4192956
[pid=16422] ppid=16420 vsize=3788 CPUtime=0
/proc/16422/stat : 16422 (MiraXTv3_dyn) R 16420 16422 13333 0 -1 4194304 291 0 0 0 0 0 0 0 18 0 1 0 350240829 3878912 266 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 11526785 0 0 4096 0 0 0 0 17 1 0 0
/proc/16422/statm: 947 266 206 20 0 305 0

[startup+0.083901 s]
/proc/loadavg: 3.15 2.92 2.41 3/77 16422
/proc/meminfo: memFree=1065520/2055920 swapFree=4159376/4192956
[pid=16422] ppid=16420 vsize=6944 CPUtime=0.14
/proc/16422/stat : 16422 (MiraXTv3_dyn) S 16420 16422 13333 0 -1 4194304 615 0 0 0 14 0 0 0 18 0 3 0 350240829 7110656 590 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16422/statm: 1736 590 218 20 0 1094 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 6944

[startup+0.101903 s]
/proc/loadavg: 3.15 2.92 2.41 3/77 16422
/proc/meminfo: memFree=1065520/2055920 swapFree=4159376/4192956
[pid=16422] ppid=16420 vsize=6944 CPUtime=0.18
/proc/16422/stat : 16422 (MiraXTv3_dyn) S 16420 16422 13333 0 -1 4194304 642 0 0 0 18 0 0 0 18 0 3 0 350240829 7110656 617 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16422/statm: 1736 617 218 20 0 1094 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 6944

[startup+0.30194 s]
/proc/loadavg: 3.15 2.92 2.41 3/77 16422
/proc/meminfo: memFree=1065520/2055920 swapFree=4159376/4192956
[pid=16422] ppid=16420 vsize=8720 CPUtime=0.57
/proc/16422/stat : 16422 (MiraXTv3_dyn) S 16420 16422 13333 0 -1 4194304 1052 0 0 0 57 0 0 0 18 0 3 0 350240829 8929280 1027 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16422/statm: 2180 1027 218 20 0 1538 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 8720

[startup+0.702008 s]
/proc/loadavg: 3.15 2.92 2.41 3/77 16422
/proc/meminfo: memFree=1065520/2055920 swapFree=4159376/4192956
[pid=16422] ppid=16420 vsize=11236 CPUtime=1.38
/proc/16422/stat : 16422 (MiraXTv3_dyn) S 16420 16422 13333 0 -1 4194304 1760 0 0 0 137 1 0 0 18 0 3 0 350240829 11505664 1735 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16422/statm: 2809 1735 218 20 0 2167 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 11236

[startup+1.50115 s]
/proc/loadavg: 3.15 2.92 2.41 3/80 16425
/proc/meminfo: memFree=1057624/2055920 swapFree=4159376/4192956
[pid=16422] ppid=16420 vsize=14532 CPUtime=2.97
/proc/16422/stat : 16422 (MiraXTv3_dyn) S 16420 16422 13333 0 -1 4194304 2807 0 0 0 295 2 0 0 18 0 3 0 350240829 14880768 2782 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16422/statm: 3633 2782 218 20 0 2991 0
[pid=16422/tid=16424] ppid=16420 vsize=14532 CPUtime=1.48
/proc/16422/task/16424/stat : 16424 (MiraXTv3_dyn) R 16420 16422 13333 0 -1 4194368 1082 0 0 0 148 0 0 0 22 0 3 0 350240830 14880768 2782 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 11527803 0 0 4096 0 0 0 0 -1 1 0 0
[pid=16422/tid=16425] ppid=16420 vsize=14532 CPUtime=1.47
/proc/16422/task/16425/stat : 16425 (MiraXTv3_dyn) R 16420 16422 13333 0 -1 4194368 1389 0 0 0 146 1 0 0 23 0 3 0 350240830 14880768 2782 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526696 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 14532

[startup+3.10142 s]
/proc/loadavg: 3.15 2.92 2.41 3/80 16425
/proc/meminfo: memFree=1054296/2055920 swapFree=4159376/4192956
[pid=16422] ppid=16420 vsize=17392 CPUtime=6.16
/proc/16422/stat : 16422 (MiraXTv3_dyn) S 16420 16422 13333 0 -1 4194304 3435 0 0 0 614 2 0 0 18 0 3 0 350240829 17809408 3410 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16422/statm: 4348 3410 218 20 0 3706 0
[pid=16422/tid=16424] ppid=16420 vsize=17392 CPUtime=3.09
/proc/16422/task/16424/stat : 16424 (MiraXTv3_dyn) R 16420 16422 13333 0 -1 4194368 1386 0 0 0 308 1 0 0 21 0 3 0 350240830 17809408 3410 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134521327 0 0 4096 0 0 0 0 -1 1 0 0
[pid=16422/tid=16425] ppid=16420 vsize=17392 CPUtime=3.06
/proc/16422/task/16425/stat : 16425 (MiraXTv3_dyn) R 16420 16422 13333 0 -1 4194368 1713 0 0 0 305 1 0 0 25 0 3 0 350240830 17809408 3410 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526451 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.16
Current children cumulated vsize (KiB) 17392

[startup+6.30196 s]
/proc/loadavg: 3.06 2.90 2.41 3/80 16425
/proc/meminfo: memFree=1047128/2055920 swapFree=4159376/4192956
[pid=16422] ppid=16420 vsize=25380 CPUtime=12.54
/proc/16422/stat : 16422 (MiraXTv3_dyn) S 16420 16422 13333 0 -1 4194304 5456 0 0 0 1249 5 0 0 18 0 3 0 350240829 25989120 5318 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16422/statm: 6345 5318 218 20 0 5703 0
[pid=16422/tid=16424] ppid=16420 vsize=25380 CPUtime=6.28
/proc/16422/task/16424/stat : 16424 (MiraXTv3_dyn) R 16420 16422 13333 0 -1 4194368 2157 0 0 0 627 1 0 0 25 0 3 0 350240830 25989120 5318 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=16422/tid=16425] ppid=16420 vsize=25380 CPUtime=6.24
/proc/16422/task/16425/stat : 16425 (MiraXTv3_dyn) R 16420 16422 13333 0 -1 4194368 2963 0 0 0 621 3 0 0 25 0 3 0 350240830 25989120 5318 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.54
Current children cumulated vsize (KiB) 25380

[startup+12.701 s]
/proc/loadavg: 2.98 2.89 2.41 3/80 16425
/proc/meminfo: memFree=1032032/2055920 swapFree=4159376/4192956
[pid=16422] ppid=16420 vsize=39804 CPUtime=25.29
/proc/16422/stat : 16422 (MiraXTv3_dyn) S 16420 16422 13333 0 -1 4194304 8889 0 0 0 2522 7 0 0 18 0 3 0 350240829 40759296 8511 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16422/statm: 9951 8511 218 20 0 9309 0
[pid=16422/tid=16424] ppid=16420 vsize=39804 CPUtime=12.67
/proc/16422/task/16424/stat : 16424 (MiraXTv3_dyn) R 16420 16422 13333 0 -1 4194368 3842 0 0 0 1265 2 0 0 25 0 3 0 350240830 40759296 8511 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=16422/tid=16425] ppid=16420 vsize=39804 CPUtime=12.6
/proc/16422/task/16425/stat : 16425 (MiraXTv3_dyn) R 16420 16422 13333 0 -1 4194368 4711 0 0 0 1255 5 0 0 25 0 3 0 350240830 40759296 8511 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526477 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.29
Current children cumulated vsize (KiB) 39804

[startup+25.5012 s]
/proc/loadavg: 2.76 2.84 2.40 3/80 16425
/proc/meminfo: memFree=1027616/2055920 swapFree=4159376/4192956
[pid=16422] ppid=16420 vsize=44292 CPUtime=50.83
/proc/16422/stat : 16422 (MiraXTv3_dyn) S 16420 16422 13333 0 -1 4194304 10521 0 0 0 5073 10 0 0 18 0 3 0 350240829 45355008 9777 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16422/statm: 11073 9777 218 20 0 10431 0
[pid=16422/tid=16424] ppid=16420 vsize=44292 CPUtime=25.47
/proc/16422/task/16424/stat : 16424 (MiraXTv3_dyn) R 16420 16422 13333 0 -1 4194368 4792 0 0 0 2544 3 0 0 25 0 3 0 350240830 45355008 9777 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=16422/tid=16425] ppid=16420 vsize=44292 CPUtime=25.34
/proc/16422/task/16425/stat : 16425 (MiraXTv3_dyn) R 16420 16422 13333 0 -1 4194368 5393 0 0 0 2528 6 0 0 25 0 3 0 350240830 45355008 9777 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.83
Current children cumulated vsize (KiB) 44292

[startup+51.1015 s]
/proc/loadavg: 2.50 2.77 2.39 3/80 16425
/proc/meminfo: memFree=1014624/2055920 swapFree=4159376/4192956
[pid=16422] ppid=16420 vsize=56752 CPUtime=101.89
/proc/16422/stat : 16422 (MiraXTv3_dyn) S 16420 16422 13333 0 -1 4194304 14586 0 0 0 10175 14 0 0 18 0 3 0 350240829 58114048 12988 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16422/statm: 14188 12988 218 20 0 13546 0
[pid=16422/tid=16424] ppid=16420 vsize=56752 CPUtime=51.04
/proc/16422/task/16424/stat : 16424 (MiraXTv3_dyn) R 16420 16422 13333 0 -1 4194368 6628 0 0 0 5100 4 0 0 25 0 3 0 350240830 58114048 12988 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
[pid=16422/tid=16425] ppid=16420 vsize=56752 CPUtime=50.83
/proc/16422/task/16425/stat : 16425 (MiraXTv3_dyn) R 16420 16422 13333 0 -1 4194368 7622 0 0 0 5074 9 0 0 25 0 3 0 350240830 58114048 12988 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.89
Current children cumulated vsize (KiB) 56752

[startup+102.305 s]
/proc/loadavg: 2.21 2.65 2.37 3/80 16425
/proc/meminfo: memFree=1006496/2055920 swapFree=4159376/4192956
[pid=16422] ppid=16420 vsize=64212 CPUtime=204
/proc/16422/stat : 16422 (MiraXTv3_dyn) S 16420 16422 13333 0 -1 4194304 17894 0 0 0 20383 17 0 0 18 0 3 0 350240829 65753088 14883 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16422/statm: 16053 14883 218 20 0 15411 0
[pid=16422/tid=16424] ppid=16420 vsize=64212 CPUtime=102.21
/proc/16422/task/16424/stat : 16424 (MiraXTv3_dyn) R 16420 16422 13333 0 -1 4194368 8252 0 0 0 10215 6 0 0 25 0 3 0 350240830 65753088 14883 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526333 0 0 4096 0 0 0 0 -1 1 0 0
[pid=16422/tid=16425] ppid=16420 vsize=64212 CPUtime=101.78
/proc/16422/task/16425/stat : 16425 (MiraXTv3_dyn) R 16420 16422 13333 0 -1 4194368 9306 0 0 0 10167 11 0 0 25 0 3 0 350240830 65753088 14883 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 204
Current children cumulated vsize (KiB) 64212

[startup+162.301 s]
/proc/loadavg: 2.08 2.53 2.34 3/80 16425
/proc/meminfo: memFree=1001312/2055920 swapFree=4159376/4192956
[pid=16422] ppid=16420 vsize=69940 CPUtime=323.7
/proc/16422/stat : 16422 (MiraXTv3_dyn) S 16420 16422 13333 0 -1 4194304 20934 0 0 0 32350 20 0 0 18 0 3 0 350240829 71618560 16136 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16422/statm: 17485 16136 218 20 0 16843 0
[pid=16422/tid=16424] ppid=16420 vsize=69940 CPUtime=161.96
/proc/16422/task/16424/stat : 16424 (MiraXTv3_dyn) R 16420 16422 13333 0 -1 4194368 9688 0 0 0 16189 7 0 0 25 0 3 0 350240830 71618560 16136 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=16422/tid=16425] ppid=16420 vsize=69940 CPUtime=161.72
/proc/16422/task/16425/stat : 16425 (MiraXTv3_dyn) R 16420 16422 13333 0 -1 4194368 10910 0 0 0 16160 12 0 0 25 0 3 0 350240830 71618560 16136 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526454 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 323.7
Current children cumulated vsize (KiB) 69940

[startup+222.303 s]
/proc/loadavg: 2.03 2.43 2.32 3/80 16425
/proc/meminfo: memFree=997664/2055920 swapFree=4159376/4192956
[pid=16422] ppid=16420 vsize=73124 CPUtime=443.39
/proc/16422/stat : 16422 (MiraXTv3_dyn) S 16420 16422 13333 0 -1 4194304 23404 0 0 0 44317 22 0 0 18 0 3 0 350240829 74878976 17076 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16422/statm: 18281 17076 218 20 0 17639 0
[pid=16422/tid=16424] ppid=16420 vsize=73124 CPUtime=221.68
/proc/16422/task/16424/stat : 16424 (MiraXTv3_dyn) R 16420 16422 13333 0 -1 4194368 11102 0 0 0 22160 8 0 0 25 0 3 0 350240830 74878976 17076 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526291 0 0 4096 0 0 0 0 -1 0 0 0
[pid=16422/tid=16425] ppid=16420 vsize=73124 CPUtime=221.7
/proc/16422/task/16425/stat : 16425 (MiraXTv3_dyn) R 16420 16422 13333 0 -1 4194368 11966 0 0 0 22156 14 0 0 25 0 3 0 350240830 74878976 17076 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526719 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 443.39
Current children cumulated vsize (KiB) 73124

[startup+282.302 s]
/proc/loadavg: 2.01 2.35 2.29 3/80 16425
/proc/meminfo: memFree=995296/2055920 swapFree=4159376/4192956
[pid=16422] ppid=16420 vsize=75792 CPUtime=563.07
/proc/16422/stat : 16422 (MiraXTv3_dyn) S 16420 16422 13333 0 -1 4194304 25608 0 0 0 56283 24 0 0 18 0 3 0 350240829 77611008 17680 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16422/statm: 18948 17680 218 20 0 18306 0
[pid=16422/tid=16424] ppid=16420 vsize=75792 CPUtime=281.41
/proc/16422/task/16424/stat : 16424 (MiraXTv3_dyn) R 16420 16422 13333 0 -1 4194368 12425 0 0 0 28132 9 0 0 25 0 3 0 350240830 77611008 17680 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
[pid=16422/tid=16425] ppid=16420 vsize=75792 CPUtime=281.65
/proc/16422/task/16425/stat : 16425 (MiraXTv3_dyn) R 16420 16422 13333 0 -1 4194368 12847 0 0 0 28150 15 0 0 25 0 3 0 350240830 77611008 17680 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134565729 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 563.07
Current children cumulated vsize (KiB) 75792

[startup+342.302 s]
/proc/loadavg: 2.00 2.28 2.27 3/80 16425
/proc/meminfo: memFree=994208/2055920 swapFree=4159376/4192956
[pid=16422] ppid=16420 vsize=77108 CPUtime=682.76
/proc/16422/stat : 16422 (MiraXTv3_dyn) S 16420 16422 13333 0 -1 4194304 27328 0 0 0 68250 26 0 0 18 0 3 0 350240829 78958592 17935 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16422/statm: 19277 17935 218 20 0 18635 0
[pid=16422/tid=16424] ppid=16420 vsize=77108 CPUtime=341.12
/proc/16422/task/16424/stat : 16424 (MiraXTv3_dyn) R 16420 16422 13333 0 -1 4194368 13215 0 0 0 34103 9 0 0 25 0 3 0 350240830 78958592 17935 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526322 0 0 4096 0 0 0 0 -1 0 0 0
[pid=16422/tid=16425] ppid=16420 vsize=77108 CPUtime=341.62
/proc/16422/task/16425/stat : 16425 (MiraXTv3_dyn) R 16420 16422 13333 0 -1 4194368 13777 0 0 0 34146 16 0 0 25 0 3 0 350240830 78958592 17935 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 682.76
Current children cumulated vsize (KiB) 77108

[startup+402.302 s]

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

/proc/16422/task/16424/stat : 16424 (MiraXTv3_dyn) R 16420 16422 13333 0 -1 4194368 31924 0 0 0 183391 22 0 0 25 0 3 0 350240830 94908416 21708 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526288 0 0 4096 0 0 0 0 -1 0 0 0
[pid=16422/tid=16425] ppid=16420 vsize=92684 CPUtime=1840.73
/proc/16422/task/16425/stat : 16425 (MiraXTv3_dyn) R 16420 16422 13333 0 -1 4194368 32476 0 0 0 184038 35 0 0 25 0 3 0 350240830 94908416 21708 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134520086 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3674.87
Current children cumulated vsize (KiB) 92684

[startup+1902.3 s]
/proc/loadavg: 2.00 2.00 2.02 3/80 16427
/proc/meminfo: memFree=978848/2055920 swapFree=4159376/4192956
[pid=16422] ppid=16420 vsize=92684 CPUtime=3794.54
/proc/16422/stat : 16422 (MiraXTv3_dyn) S 16420 16422 13333 0 -1 4194304 66189 0 0 0 379395 59 0 0 18 0 3 0 350240829 94908416 21752 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16422/statm: 23171 21752 218 20 0 22529 0
[pid=16422/tid=16424] ppid=16420 vsize=92684 CPUtime=1893.83
/proc/16422/task/16424/stat : 16424 (MiraXTv3_dyn) R 16420 16422 13333 0 -1 4194368 32653 0 0 0 189360 23 0 0 25 0 3 0 350240830 94908416 21752 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=16422/tid=16425] ppid=16420 vsize=92684 CPUtime=1900.69
/proc/16422/task/16425/stat : 16425 (MiraXTv3_dyn) R 16420 16422 13333 0 -1 4194368 33200 0 0 0 190034 35 0 0 25 0 3 0 350240830 94908416 21752 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3794.54
Current children cumulated vsize (KiB) 92684

[startup+1962.3 s]
/proc/loadavg: 2.07 2.02 2.02 3/80 16427
/proc/meminfo: memFree=978528/2055920 swapFree=4159376/4192956
[pid=16422] ppid=16420 vsize=92832 CPUtime=3914.25
/proc/16422/stat : 16422 (MiraXTv3_dyn) S 16420 16422 13333 0 -1 4194304 67411 0 0 0 391365 60 0 0 18 0 3 0 350240829 95059968 21838 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16422/statm: 23208 21838 218 20 0 22566 0
[pid=16422/tid=16424] ppid=16420 vsize=92832 CPUtime=1953.57
/proc/16422/task/16424/stat : 16424 (MiraXTv3_dyn) R 16420 16422 13333 0 -1 4194368 33263 0 0 0 195334 23 0 0 25 0 3 0 350240830 95059968 21838 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526351 0 0 4096 0 0 0 0 -1 0 0 0
[pid=16422/tid=16425] ppid=16420 vsize=92832 CPUtime=1960.66
/proc/16422/task/16425/stat : 16425 (MiraXTv3_dyn) R 16420 16422 13333 0 -1 4194368 33812 0 0 0 196030 36 0 0 25 0 3 0 350240830 95059968 21838 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3914.25
Current children cumulated vsize (KiB) 92832

[startup+2022.3 s]
/proc/loadavg: 2.22 2.06 2.03 3/86 16601
/proc/meminfo: memFree=977184/2055920 swapFree=4159376/4192956
[pid=16422] ppid=16420 vsize=93992 CPUtime=4033.67
/proc/16422/stat : 16422 (MiraXTv3_dyn) S 16420 16422 13333 0 -1 4194304 68743 0 0 0 403292 75 0 0 18 0 3 0 350240829 96247808 21882 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16422/statm: 23498 21882 218 20 0 22856 0
[pid=16422/tid=16424] ppid=16420 vsize=93992 CPUtime=2013.2
/proc/16422/task/16424/stat : 16424 (MiraXTv3_dyn) R 16420 16422 13333 0 -1 4194368 33998 0 0 0 201282 38 0 0 25 0 3 0 350240830 96247808 21882 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
[pid=16422/tid=16425] ppid=16420 vsize=93992 CPUtime=2020.44
/proc/16422/task/16425/stat : 16425 (MiraXTv3_dyn) R 16420 16422 13333 0 -1 4194368 34409 0 0 0 202008 36 0 0 25 0 3 0 350240830 96247808 21882 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4033.67
Current children cumulated vsize (KiB) 93992

[startup+2082.31 s]
/proc/loadavg: 2.23 2.09 2.04 3/80 16625
/proc/meminfo: memFree=978016/2055920 swapFree=4159376/4192956
[pid=16422] ppid=16420 vsize=93992 CPUtime=4153.29
/proc/16422/stat : 16422 (MiraXTv3_dyn) S 16420 16422 13333 0 -1 4194304 70235 0 0 0 415252 77 0 0 18 0 3 0 350240829 96247808 21933 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16422/statm: 23498 21933 218 20 0 22856 0
[pid=16422/tid=16424] ppid=16420 vsize=93992 CPUtime=2072.9
/proc/16422/task/16424/stat : 16424 (MiraXTv3_dyn) R 16420 16422 13333 0 -1 4194368 34746 0 0 0 207250 40 0 0 25 0 3 0 350240830 96247808 21933 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
[pid=16422/tid=16425] ppid=16420 vsize=93992 CPUtime=2080.38
/proc/16422/task/16425/stat : 16425 (MiraXTv3_dyn) R 16420 16422 13333 0 -1 4194368 35153 0 0 0 208001 37 0 0 25 0 3 0 350240830 96247808 21933 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4153.29
Current children cumulated vsize (KiB) 93992

[startup+2142.3 s]
/proc/loadavg: 2.08 2.07 2.04 3/80 16625
/proc/meminfo: memFree=977824/2055920 swapFree=4159376/4192956
[pid=16422] ppid=16420 vsize=94140 CPUtime=4272.99
/proc/16422/stat : 16422 (MiraXTv3_dyn) S 16420 16422 13333 0 -1 4194304 71449 0 0 0 427220 79 0 0 18 0 3 0 350240829 96399360 21986 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16422/statm: 23535 21986 218 20 0 22893 0
[pid=16422/tid=16424] ppid=16420 vsize=94140 CPUtime=2132.61
/proc/16422/task/16424/stat : 16424 (MiraXTv3_dyn) R 16420 16422 13333 0 -1 4194368 35354 0 0 0 213221 40 0 0 25 0 3 0 350240830 96399360 21986 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
[pid=16422/tid=16425] ppid=16420 vsize=94140 CPUtime=2140.35
/proc/16422/task/16425/stat : 16425 (MiraXTv3_dyn) R 16420 16422 13333 0 -1 4194368 35759 0 0 0 213997 38 0 0 25 0 3 0 350240830 96399360 21986 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4272.99
Current children cumulated vsize (KiB) 94140

[startup+2202.3 s]
/proc/loadavg: 2.03 2.06 2.03 3/80 16625
/proc/meminfo: memFree=977504/2055920 swapFree=4159376/4192956
[pid=16422] ppid=16420 vsize=94292 CPUtime=4392.69
/proc/16422/stat : 16422 (MiraXTv3_dyn) S 16420 16422 13333 0 -1 4194304 72836 0 0 0 439189 80 0 0 18 0 3 0 350240829 96555008 22058 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16422/statm: 23573 22058 218 20 0 22931 0
[pid=16422/tid=16424] ppid=16420 vsize=94292 CPUtime=2192.33
/proc/16422/task/16424/stat : 16424 (MiraXTv3_dyn) R 16420 16422 13333 0 -1 4194368 36129 0 0 0 219193 40 0 0 25 0 3 0 350240830 96555008 22058 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=16422/tid=16425] ppid=16420 vsize=94292 CPUtime=2200.33
/proc/16422/task/16425/stat : 16425 (MiraXTv3_dyn) R 16420 16422 13333 0 -1 4194368 36371 0 0 0 219995 38 0 0 25 0 3 0 350240830 96555008 22058 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4392.69
Current children cumulated vsize (KiB) 94292

[startup+2262.3 s]
/proc/loadavg: 2.01 2.04 2.02 3/80 16625
/proc/meminfo: memFree=974880/2055920 swapFree=4159376/4192956
[pid=16422] ppid=16420 vsize=96636 CPUtime=4512.38
/proc/16422/stat : 16422 (MiraXTv3_dyn) S 16420 16422 13333 0 -1 4194304 74832 0 0 0 451155 83 0 0 18 0 3 0 350240829 98955264 22731 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16422/statm: 24159 22731 218 20 0 23517 0
[pid=16422/tid=16424] ppid=16420 vsize=96636 CPUtime=2252.06
/proc/16422/task/16424/stat : 16424 (MiraXTv3_dyn) R 16420 16422 13333 0 -1 4194368 37222 0 0 0 225164 42 0 0 25 0 3 0 350240830 98955264 22731 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526702 0 0 4096 0 0 0 0 -1 0 0 0
[pid=16422/tid=16425] ppid=16420 vsize=96636 CPUtime=2260.29
/proc/16422/task/16425/stat : 16425 (MiraXTv3_dyn) R 16420 16422 13333 0 -1 4194368 37274 0 0 0 225989 40 0 0 25 0 3 0 350240830 98955264 22731 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526702 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4512.38
Current children cumulated vsize (KiB) 96636

[startup+2322.3 s]
/proc/loadavg: 2.00 2.03 2.02 3/80 16625
/proc/meminfo: memFree=974432/2055920 swapFree=4159376/4192956
[pid=16422] ppid=16420 vsize=96900 CPUtime=4632.07
/proc/16422/stat : 16422 (MiraXTv3_dyn) S 16420 16422 13333 0 -1 4194304 76134 0 0 0 463123 84 0 0 18 0 3 0 350240829 99225600 22850 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16422/statm: 24225 22850 218 20 0 23583 0
[pid=16422/tid=16424] ppid=16420 vsize=96900 CPUtime=2311.79
/proc/16422/task/16424/stat : 16424 (MiraXTv3_dyn) R 16420 16422 13333 0 -1 4194368 37900 0 0 0 231137 42 0 0 25 0 3 0 350240830 99225600 22850 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526454 0 0 4096 0 0 0 0 -1 0 0 0
[pid=16422/tid=16425] ppid=16420 vsize=96900 CPUtime=2320.26
/proc/16422/task/16425/stat : 16425 (MiraXTv3_dyn) R 16420 16422 13333 0 -1 4194368 37898 0 0 0 231985 41 0 0 25 0 3 0 350240830 99225600 22850 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4632.07
Current children cumulated vsize (KiB) 96900

[startup+2382.3 s]
/proc/loadavg: 2.00 2.02 2.01 3/80 16625
/proc/meminfo: memFree=974176/2055920 swapFree=4159376/4192956
[pid=16422] ppid=16420 vsize=98264 CPUtime=4751.78
/proc/16422/stat : 16422 (MiraXTv3_dyn) S 16420 16422 13333 0 -1 4194304 77380 0 0 0 475093 85 0 0 18 0 3 0 350240829 100622336 22906 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16422/statm: 24566 22906 218 20 0 23924 0
[pid=16422/tid=16424] ppid=16420 vsize=98264 CPUtime=2371.53
/proc/16422/task/16424/stat : 16424 (MiraXTv3_dyn) R 16420 16422 13333 0 -1 4194368 38529 0 0 0 237110 43 0 0 25 0 3 0 350240830 100622336 22906 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526702 0 0 4096 0 0 0 0 -1 0 0 0
[pid=16422/tid=16425] ppid=16420 vsize=98264 CPUtime=2380.24
/proc/16422/task/16425/stat : 16425 (MiraXTv3_dyn) R 16420 16422 13333 0 -1 4194368 38515 0 0 0 237982 42 0 0 25 0 3 0 350240830 100622336 22906 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4751.78
Current children cumulated vsize (KiB) 98264

[startup+2442.3 s]
/proc/loadavg: 2.00 2.02 2.01 3/80 16625
/proc/meminfo: memFree=973920/2055920 swapFree=4159376/4192956
[pid=16422] ppid=16420 vsize=98436 CPUtime=4871.46
/proc/16422/stat : 16422 (MiraXTv3_dyn) S 16420 16422 13333 0 -1 4194304 78516 0 0 0 487060 86 0 0 18 0 3 0 350240829 100798464 22995 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16422/statm: 24609 22995 218 20 0 23967 0
[pid=16422/tid=16424] ppid=16420 vsize=98436 CPUtime=2431.24
/proc/16422/task/16424/stat : 16424 (MiraXTv3_dyn) R 16420 16422 13333 0 -1 4194368 39176 0 0 0 243081 43 0 0 25 0 3 0 350240830 100798464 22995 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526702 0 0 4096 0 0 0 0 -1 0 0 0
[pid=16422/tid=16425] ppid=16420 vsize=98436 CPUtime=2440.2
/proc/16422/task/16425/stat : 16425 (MiraXTv3_dyn) R 16420 16422 13333 0 -1 4194368 39004 0 0 0 243978 42 0 0 25 0 3 0 350240830 100798464 22995 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526423 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4871.46
Current children cumulated vsize (KiB) 98436

[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/80 16625
/proc/meminfo: memFree=973728/2055920 swapFree=4159376/4192956
[pid=16422] ppid=16420 vsize=98436 CPUtime=4991.14
/proc/16422/stat : 16422 (MiraXTv3_dyn) S 16420 16422 13333 0 -1 4194304 80003 0 0 0 499027 87 0 0 18 0 3 0 350240829 100798464 23129 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16422/statm: 24609 23129 218 20 0 23967 0
[pid=16422/tid=16424] ppid=16420 vsize=98436 CPUtime=2490.96
/proc/16422/task/16424/stat : 16424 (MiraXTv3_dyn) R 16420 16422 13333 0 -1 4194368 40058 0 0 0 249052 44 0 0 25 0 3 0 350240830 100798464 23129 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526531 0 0 4096 0 0 0 0 -1 0 0 0
[pid=16422/tid=16425] ppid=16420 vsize=98436 CPUtime=2500.17
/proc/16422/task/16425/stat : 16425 (MiraXTv3_dyn) R 16420 16422 13333 0 -1 4194368 39609 0 0 0 249974 43 0 0 25 0 3 0 350240830 100798464 23129 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134565715 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4991.14
Current children cumulated vsize (KiB) 98436



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2506.8 s]
/proc/loadavg: 2.00 2.01 2.00 3/80 16625
/proc/meminfo: memFree=972384/2055920 swapFree=4159376/4192956
[pid=16422] ppid=16420 vsize=99460 CPUtime=5000.13
/proc/16422/stat : 16422 (MiraXTv3_dyn) S 16420 16422 13333 0 -1 4194304 80434 0 0 0 499925 88 0 0 18 0 3 0 350240829 101847040 23409 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16422/statm: 24865 23409 218 20 0 24223 0
[pid=16422/tid=16424] ppid=16420 vsize=99460 CPUtime=2495.43
/proc/16422/task/16424/stat : 16424 (MiraXTv3_dyn) R 16420 16422 13333 0 -1 4194368 40334 0 0 0 249499 44 0 0 25 0 3 0 350240830 101847040 23409 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526702 0 0 4096 0 0 0 0 -1 0 0 0
[pid=16422/tid=16425] ppid=16420 vsize=99460 CPUtime=2504.67
/proc/16422/task/16425/stat : 16425 (MiraXTv3_dyn) R 16420 16422 13333 0 -1 4194368 39764 0 0 0 250424 43 0 0 25 0 3 0 350240830 101847040 23409 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 5000.13
Current children cumulated vsize (KiB) 99460

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.83
CPU time (s): 5000.17
CPU user time (s): 4999.26
CPU system time (s): 0.903862
CPU usage (%): 199.462
Max. virtual memory (cumulated for all children) (KiB): 99460

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4999.26
system time used= 0.903862
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 80434
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= 525
involuntary context switches= 94512

runsolver used 2.59161 second user time and 6.59 second system time

The end

Launcher Data (download as text)

Begin job on node39 on Sun May 13 02:28:08 UTC 2007

IDJOB= 456411
IDBENCH= 24702
IDSOLVER= 196
FILE ID= node39/456411-1179023288

PBS_JOBID= 5253247

Free space on /tmp= 66542 MiB

SOLVER NAME= MiraXT v3
BENCH NAME= HOME/pub/bench/SAT07/crafted/Hard/contest03/looksrandom/hgen7-n390-02-S178568232.sat05-479.reshuffled-07.cnf
COMMAND LINE= /tmp/evaluation/456411-1179023288/MiraXTv3_dyn /tmp/evaluation/456411-1179023288/instance-456411-1179023288.cnf
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node39/watcher-456411-1179023288 -o ROOT/results/node39/solver-456411-1179023288 -C 5000 -W 7500 -M 1800 --output-limit 1,15  /tmp/evaluation/456411-1179023288/MiraXTv3_dyn /tmp/evaluation/456411-1179023288/instance-456411-1179023288.cnf

META MD5SUM SOLVER= 2ad149617ed8d249d89b067eb44c33da
MD5SUM BENCH=  95e4195bdde82ec65467d8f29f037cf2

RANDOM SEED= 600259320

TIME LIMIT= 5000 seconds
MEMORY LIMIT= 1800 MiB

Linux node39.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.256
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.256
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:       1065800 kB
Buffers:         53872 kB
Cached:         788772 kB
SwapCached:      13340 kB
Active:         580148 kB
Inactive:       286004 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1065800 kB
SwapTotal:     4192956 kB
SwapFree:      4159376 kB
Dirty:            4964 kB
Writeback:           0 kB
Mapped:          30364 kB
Slab:           109300 kB
Committed_AS:  5222712 kB
PageTables:       2012 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 node39 on Sun May 13 03:09:57 UTC 2007