Trace number 426445

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.09 2506.23

General information on the benchmark

Namerandom/2+p/p0.8/v2405/
unif2p-p0.8-v2405-c7479-S1151229574-11-UNSAT.cnf
MD5SUMbbb4149cc32eff7dd6676db03641b5a9
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark1806.2
Satisfiable
(Un)Satisfiability was proved
Number of variables2405
Number of clauses7478
Sum of the clauses size20939
Maximum clause length3
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 21495
Number of clauses of size 35983
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/node35/watcher-426445-1179015485 -o ROOT/results/node35/solver-426445-1179015485 -C 5000 -W 7500 -M 1800 --output-limit 1,15 /tmp/evaluation/426445-1179015485/MiraXTv3_dyn /tmp/evaluation/426445-1179015485/instance-426445-1179015485.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.97 1.91 3/77 30410
/proc/meminfo: memFree=994096/2055920 swapFree=4151396/4192956
[pid=30410] ppid=30408 vsize=3788 CPUtime=0
/proc/30410/stat : 30410 (MiraXTv3_dyn) R 30408 30410 29825 0 -1 4194304 317 0 0 0 0 0 0 0 18 0 1 0 349463936 3878912 292 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 1901517 0 0 4096 0 0 0 0 17 1 0 0
/proc/30410/statm: 980 297 205 20 0 338 0

[startup+0.023487 s]
/proc/loadavg: 1.84 1.97 1.91 3/77 30410
/proc/meminfo: memFree=994096/2055920 swapFree=4151396/4192956
[pid=30410] ppid=30408 vsize=4728 CPUtime=0.01
/proc/30410/stat : 30410 (MiraXTv3_dyn) R 30408 30410 29825 0 -1 4194304 518 0 0 0 1 0 0 0 18 0 1 0 349463936 4841472 493 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134587778 0 0 4096 0 0 0 0 17 1 0 0
/proc/30410/statm: 1182 493 207 20 0 540 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 4728

[startup+0.1015 s]
/proc/loadavg: 1.84 1.97 1.91 3/77 30410
/proc/meminfo: memFree=994096/2055920 swapFree=4151396/4192956
[pid=30410] ppid=30408 vsize=8416 CPUtime=0.15
/proc/30410/stat : 30410 (MiraXTv3_dyn) S 30408 30410 29825 0 -1 4194304 994 0 0 0 15 0 0 0 18 0 3 0 349463936 8617984 969 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30410/statm: 2104 969 218 20 0 1462 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 8416

[startup+0.301522 s]
/proc/loadavg: 1.84 1.97 1.91 3/77 30410
/proc/meminfo: memFree=994096/2055920 swapFree=4151396/4192956
[pid=30410] ppid=30408 vsize=9836 CPUtime=0.55
/proc/30410/stat : 30410 (MiraXTv3_dyn) S 30408 30410 29825 0 -1 4194304 1229 0 0 0 55 0 0 0 18 0 3 0 349463936 10072064 1204 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30410/statm: 2459 1204 218 20 0 1817 0
Current children cumulated CPU time (s) 0.55
Current children cumulated vsize (KiB) 9836

[startup+0.701575 s]
/proc/loadavg: 1.84 1.97 1.91 3/77 30410
/proc/meminfo: memFree=994096/2055920 swapFree=4151396/4192956
[pid=30410] ppid=30408 vsize=11492 CPUtime=1.35
/proc/30410/stat : 30410 (MiraXTv3_dyn) S 30408 30410 29825 0 -1 4194304 1717 0 0 0 135 0 0 0 18 0 3 0 349463936 11767808 1692 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30410/statm: 2873 1692 218 20 0 2231 0
Current children cumulated CPU time (s) 1.35
Current children cumulated vsize (KiB) 11492

[startup+1.50267 s]
/proc/loadavg: 1.84 1.97 1.91 3/80 30413
/proc/meminfo: memFree=986840/2055920 swapFree=4151396/4192956
[pid=30410] ppid=30408 vsize=15180 CPUtime=2.95
/proc/30410/stat : 30410 (MiraXTv3_dyn) S 30408 30410 29825 0 -1 4194304 2562 0 0 0 294 1 0 0 18 0 3 0 349463936 15544320 2537 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30410/statm: 3795 2537 218 20 0 3153 0
[pid=30410/tid=30412] ppid=30408 vsize=15180 CPUtime=1.46
/proc/30410/task/30412/stat : 30412 (MiraXTv3_dyn) R 30408 30410 29825 0 -1 4194368 996 0 0 0 146 0 0 0 18 0 3 0 349463940 15544320 2537 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134520089 0 0 4096 0 0 0 0 -1 1 0 0
[pid=30410/tid=30413] ppid=30408 vsize=15180 CPUtime=1.45
/proc/30410/task/30413/stat : 30413 (MiraXTv3_dyn) R 30408 30410 29825 0 -1 4194368 1019 0 0 0 145 0 0 0 25 0 3 0 349463940 15544320 2537 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526457 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 15180

[startup+3.10186 s]
/proc/loadavg: 1.84 1.97 1.91 3/80 30413
/proc/meminfo: memFree=982360/2055920 swapFree=4151396/4192956
[pid=30410] ppid=30408 vsize=20244 CPUtime=6.14
/proc/30410/stat : 30410 (MiraXTv3_dyn) S 30408 30410 29825 0 -1 4194304 3948 0 0 0 611 3 0 0 18 0 3 0 349463936 20729856 3923 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30410/statm: 5061 3923 218 20 0 4419 0
[pid=30410/tid=30412] ppid=30408 vsize=20244 CPUtime=3.06
/proc/30410/task/30412/stat : 30412 (MiraXTv3_dyn) R 30408 30410 29825 0 -1 4194368 1727 0 0 0 305 1 0 0 25 0 3 0 349463940 20729856 3923 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 1898107 0 0 4096 0 0 0 0 -1 1 0 0
[pid=30410/tid=30413] ppid=30408 vsize=20244 CPUtime=3.04
/proc/30410/task/30413/stat : 30413 (MiraXTv3_dyn) R 30408 30410 29825 0 -1 4194368 1674 0 0 0 303 1 0 0 25 0 3 0 349463940 20729856 3923 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134520089 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.14
Current children cumulated vsize (KiB) 20244

[startup+6.30123 s]
/proc/loadavg: 1.85 1.97 1.91 3/80 30413
/proc/meminfo: memFree=977632/2055920 swapFree=4151396/4192956
[pid=30410] ppid=30408 vsize=22992 CPUtime=12.52
/proc/30410/stat : 30410 (MiraXTv3_dyn) S 30408 30410 29825 0 -1 4194304 4335 0 0 0 1249 3 0 0 18 0 3 0 349463936 23543808 4310 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30410/statm: 5748 4310 218 20 0 5106 0
[pid=30410/tid=30412] ppid=30408 vsize=22992 CPUtime=6.26
/proc/30410/task/30412/stat : 30412 (MiraXTv3_dyn) R 30408 30410 29825 0 -1 4194368 1901 0 0 0 625 1 0 0 24 0 3 0 349463940 23543808 4310 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134520200 0 0 4096 0 0 0 0 -1 1 0 0
[pid=30410/tid=30413] ppid=30408 vsize=22992 CPUtime=6.23
/proc/30410/task/30413/stat : 30413 (MiraXTv3_dyn) R 30408 30410 29825 0 -1 4194368 1887 0 0 0 621 2 0 0 25 0 3 0 349463940 23543808 4310 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.52
Current children cumulated vsize (KiB) 22992

[startup+12.702 s]
/proc/loadavg: 1.86 1.97 1.91 3/80 30413
/proc/meminfo: memFree=965600/2055920 swapFree=4151396/4192956
[pid=30410] ppid=30408 vsize=34876 CPUtime=25.29
/proc/30410/stat : 30410 (MiraXTv3_dyn) S 30408 30410 29825 0 -1 4194304 7649 0 0 0 2522 7 0 0 18 0 3 0 349463936 35713024 7510 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30410/statm: 8719 7510 218 20 0 8077 0
[pid=30410/tid=30412] ppid=30408 vsize=34876 CPUtime=12.65
/proc/30410/task/30412/stat : 30412 (MiraXTv3_dyn) R 30408 30410 29825 0 -1 4194368 3402 0 0 0 1263 2 0 0 25 0 3 0 349463940 35713024 7510 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134565715 0 0 4096 0 0 0 0 -1 1 0 0
[pid=30410/tid=30413] ppid=30408 vsize=34876 CPUtime=12.6
/proc/30410/task/30413/stat : 30413 (MiraXTv3_dyn) R 30408 30410 29825 0 -1 4194368 3700 0 0 0 1256 4 0 0 25 0 3 0 349463940 35713024 7510 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134565556 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.29
Current children cumulated vsize (KiB) 34876

[startup+25.5015 s]
/proc/loadavg: 1.89 1.97 1.91 3/80 30413
/proc/meminfo: memFree=946720/2055920 swapFree=4151396/4192956
[pid=30410] ppid=30408 vsize=52412 CPUtime=50.83
/proc/30410/stat : 30410 (MiraXTv3_dyn) S 30408 30410 29825 0 -1 4194304 12243 0 0 0 5069 14 0 0 18 0 3 0 349463936 53669888 11860 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30410/statm: 13103 11860 218 20 0 12461 0
[pid=30410/tid=30412] ppid=30408 vsize=52412 CPUtime=25.44
/proc/30410/task/30412/stat : 30412 (MiraXTv3_dyn) R 30408 30410 29825 0 -1 4194368 5694 0 0 0 2539 5 0 0 25 0 3 0 349463940 53669888 11860 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134520080 0 0 4096 0 0 0 0 -1 1 0 0
[pid=30410/tid=30413] ppid=30408 vsize=52412 CPUtime=25.35
/proc/30410/task/30413/stat : 30413 (MiraXTv3_dyn) R 30408 30410 29825 0 -1 4194368 6002 0 0 0 2527 8 0 0 25 0 3 0 349463940 53669888 11860 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.83
Current children cumulated vsize (KiB) 52412

[startup+51.1015 s]
/proc/loadavg: 1.93 1.97 1.91 3/80 30413
/proc/meminfo: memFree=938656/2055920 swapFree=4151396/4192956
[pid=30410] ppid=30408 vsize=62368 CPUtime=101.9
/proc/30410/stat : 30410 (MiraXTv3_dyn) S 30408 30410 29825 0 -1 4194304 14919 0 0 0 10172 18 0 0 18 0 3 0 349463936 63864832 14166 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30410/statm: 15592 14166 218 20 0 14950 0
[pid=30410/tid=30412] ppid=30408 vsize=62368 CPUtime=51.02
/proc/30410/task/30412/stat : 30412 (MiraXTv3_dyn) R 30408 30410 29825 0 -1 4194368 7212 0 0 0 5096 6 0 0 25 0 3 0 349463940 63864832 14166 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=30410/tid=30413] ppid=30408 vsize=62368 CPUtime=50.82
/proc/30410/task/30413/stat : 30413 (MiraXTv3_dyn) R 30408 30410 29825 0 -1 4194368 7160 0 0 0 5072 10 0 0 25 0 3 0 349463940 63864832 14166 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.9
Current children cumulated vsize (KiB) 62368

[startup+102.306 s]
/proc/loadavg: 1.97 1.97 1.91 3/80 30413
/proc/meminfo: memFree=921760/2055920 swapFree=4151396/4192956
[pid=30410] ppid=30408 vsize=77800 CPUtime=204.04
/proc/30410/stat : 30410 (MiraXTv3_dyn) S 30408 30410 29825 0 -1 4194304 19816 0 0 0 20378 26 0 0 18 0 3 0 349463936 79667200 18211 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30410/statm: 19450 18211 218 20 0 18808 0
[pid=30410/tid=30412] ppid=30408 vsize=77800 CPUtime=102.2
/proc/30410/task/30412/stat : 30412 (MiraXTv3_dyn) R 30408 30410 29825 0 -1 4194368 9375 0 0 0 10211 9 0 0 25 0 3 0 349463940 79667200 18211 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=30410/tid=30413] ppid=30408 vsize=77800 CPUtime=101.8
/proc/30410/task/30413/stat : 30413 (MiraXTv3_dyn) R 30408 30410 29825 0 -1 4194368 9894 0 0 0 10163 17 0 0 24 0 3 0 349463940 79667200 18211 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526702 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 204.04
Current children cumulated vsize (KiB) 77800

[startup+162.301 s]
/proc/loadavg: 1.99 1.97 1.91 3/80 30413
/proc/meminfo: memFree=914016/2055920 swapFree=4151396/4192956
[pid=30410] ppid=30408 vsize=85576 CPUtime=323.73
/proc/30410/stat : 30410 (MiraXTv3_dyn) S 30408 30410 29825 0 -1 4194304 22608 0 0 0 32343 30 0 0 18 0 3 0 349463936 87629824 20078 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30410/statm: 21394 20078 218 20 0 20752 0
[pid=30410/tid=30412] ppid=30408 vsize=85576 CPUtime=162
/proc/30410/task/30412/stat : 30412 (MiraXTv3_dyn) R 30408 30410 29825 0 -1 4194368 10704 0 0 0 16189 11 0 0 25 0 3 0 349463940 87629824 20078 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=30410/tid=30413] ppid=30408 vsize=85576 CPUtime=161.68
/proc/30410/task/30413/stat : 30413 (MiraXTv3_dyn) R 30408 30410 29825 0 -1 4194368 11357 0 0 0 16150 18 0 0 25 0 3 0 349463940 87629824 20078 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 323.73
Current children cumulated vsize (KiB) 85576

[startup+222.302 s]
/proc/loadavg: 2.04 1.99 1.91 3/80 30413
/proc/meminfo: memFree=909856/2055920 swapFree=4151396/4192956
[pid=30410] ppid=30408 vsize=89272 CPUtime=443.42
/proc/30410/stat : 30410 (MiraXTv3_dyn) S 30408 30410 29825 0 -1 4194304 24557 0 0 0 44310 32 0 0 18 0 3 0 349463936 91414528 21061 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30410/statm: 22318 21061 218 20 0 21676 0
[pid=30410/tid=30412] ppid=30408 vsize=89272 CPUtime=221.72
/proc/30410/task/30412/stat : 30412 (MiraXTv3_dyn) R 30408 30410 29825 0 -1 4194368 12145 0 0 0 22160 12 0 0 25 0 3 0 349463940 91414528 21061 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
[pid=30410/tid=30413] ppid=30408 vsize=89272 CPUtime=221.66
/proc/30410/task/30413/stat : 30413 (MiraXTv3_dyn) R 30408 30410 29825 0 -1 4194368 11865 0 0 0 22147 19 0 0 25 0 3 0 349463940 91414528 21061 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 443.42
Current children cumulated vsize (KiB) 89272

[startup+282.302 s]
/proc/loadavg: 2.01 1.99 1.91 3/80 30413
/proc/meminfo: memFree=902048/2055920 swapFree=4151396/4192956
[pid=30410] ppid=30408 vsize=97704 CPUtime=563.12
/proc/30410/stat : 30410 (MiraXTv3_dyn) S 30408 30410 29825 0 -1 4194304 27595 0 0 0 56276 36 0 0 18 0 3 0 349463936 100048896 23013 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30410/statm: 24426 23013 218 20 0 23784 0
[pid=30410/tid=30412] ppid=30408 vsize=97704 CPUtime=281.44
/proc/30410/task/30412/stat : 30412 (MiraXTv3_dyn) R 30408 30410 29825 0 -1 4194368 13669 0 0 0 28131 13 0 0 25 0 3 0 349463940 100048896 23013 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526531 0 0 4096 0 0 0 0 -1 0 0 0
[pid=30410/tid=30413] ppid=30408 vsize=97704 CPUtime=281.64
/proc/30410/task/30413/stat : 30413 (MiraXTv3_dyn) R 30408 30410 29825 0 -1 4194368 13379 0 0 0 28142 22 0 0 25 0 3 0 349463940 100048896 23013 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526531 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 563.12
Current children cumulated vsize (KiB) 97704

[startup+342.302 s]
/proc/loadavg: 2.00 1.99 1.91 3/80 30413
/proc/meminfo: memFree=898976/2055920 swapFree=4151396/4192956
[pid=30410] ppid=30408 vsize=100156 CPUtime=682.83
/proc/30410/stat : 30410 (MiraXTv3_dyn) S 30408 30410 29825 0 -1 4194304 29135 0 0 0 68246 37 0 0 18 0 3 0 349463936 102559744 23780 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30410/statm: 25039 23780 218 20 0 24397 0
[pid=30410/tid=30412] ppid=30408 vsize=100156 CPUtime=341.18
/proc/30410/task/30412/stat : 30412 (MiraXTv3_dyn) R 30408 30410 29825 0 -1 4194368 14138 0 0 0 34105 13 0 0 25 0 3 0 349463940 102559744 23780 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
[pid=30410/tid=30413] ppid=30408 vsize=100156 CPUtime=341.63
/proc/30410/task/30413/stat : 30413 (MiraXTv3_dyn) R 30408 30410 29825 0 -1 4194368 14450 0 0 0 34139 24 0 0 25 0 3 0 349463940 102559744 23780 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526297 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 682.83
Current children cumulated vsize (KiB) 100156

[startup+402.302 s]

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

/proc/30410/task/30412/stat : 30412 (MiraXTv3_dyn) R 30408 30410 29825 0 -1 4194368 27789 0 0 0 183735 29 0 0 25 0 3 0 349463940 124940288 29359 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
[pid=30410/tid=30413] ppid=30408 vsize=122012 CPUtime=1837.84
/proc/30410/task/30413/stat : 30413 (MiraXTv3_dyn) R 30408 30410 29825 0 -1 4194368 28591 0 0 0 183740 44 0 0 25 0 3 0 349463940 124940288 29359 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3675.51
Current children cumulated vsize (KiB) 122012

[startup+1902.3 s]
/proc/loadavg: 2.00 1.99 1.91 3/80 30415
/proc/meminfo: memFree=876576/2055920 swapFree=4151396/4192956
[pid=30410] ppid=30408 vsize=122012 CPUtime=3795.23
/proc/30410/stat : 30410 (MiraXTv3_dyn) S 30408 30410 29825 0 -1 4194304 57627 0 0 0 379449 74 0 0 18 0 3 0 349463936 124940288 29369 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30410/statm: 30503 29369 218 20 0 29861 0
[pid=30410/tid=30412] ppid=30408 vsize=122012 CPUtime=1897.62
/proc/30410/task/30412/stat : 30412 (MiraXTv3_dyn) R 30408 30410 29825 0 -1 4194368 28139 0 0 0 189733 29 0 0 25 0 3 0 349463940 124940288 29369 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526702 0 0 4096 0 0 0 0 -1 1 0 0
[pid=30410/tid=30413] ppid=30408 vsize=122012 CPUtime=1897.57
/proc/30410/task/30413/stat : 30413 (MiraXTv3_dyn) R 30408 30410 29825 0 -1 4194368 28941 0 0 0 189713 44 0 0 25 0 3 0 349463940 124940288 29369 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526291 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3795.23
Current children cumulated vsize (KiB) 122012

[startup+1962.3 s]
/proc/loadavg: 2.00 1.99 1.91 3/80 30415
/proc/meminfo: memFree=874912/2055920 swapFree=4151396/4192956
[pid=30410] ppid=30408 vsize=123600 CPUtime=3914.96
/proc/30410/stat : 30410 (MiraXTv3_dyn) S 30408 30410 29825 0 -1 4194304 58969 0 0 0 391420 76 0 0 18 0 3 0 349463936 126566400 29785 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30410/statm: 30900 29785 218 20 0 30258 0
[pid=30410/tid=30412] ppid=30408 vsize=123600 CPUtime=1957.61
/proc/30410/task/30412/stat : 30412 (MiraXTv3_dyn) R 30408 30410 29825 0 -1 4194368 29013 0 0 0 195731 30 0 0 25 0 3 0 349463940 126566400 29785 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=30410/tid=30413] ppid=30408 vsize=123600 CPUtime=1957.31
/proc/30410/task/30413/stat : 30413 (MiraXTv3_dyn) R 30408 30410 29825 0 -1 4194368 29409 0 0 0 195686 45 0 0 25 0 3 0 349463940 126566400 29785 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526358 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3914.96
Current children cumulated vsize (KiB) 123600

[startup+2022.3 s]
/proc/loadavg: 2.00 1.99 1.91 3/80 30415
/proc/meminfo: memFree=874592/2055920 swapFree=4151396/4192956
[pid=30410] ppid=30408 vsize=123864 CPUtime=4034.64
/proc/30410/stat : 30410 (MiraXTv3_dyn) S 30408 30410 29825 0 -1 4194304 59745 0 0 0 403387 77 0 0 18 0 3 0 349463936 126836736 29863 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30410/statm: 30966 29863 218 20 0 30324 0
[pid=30410/tid=30412] ppid=30408 vsize=123864 CPUtime=2017.57
/proc/30410/task/30412/stat : 30412 (MiraXTv3_dyn) R 30408 30410 29825 0 -1 4194368 29438 0 0 0 201726 31 0 0 25 0 3 0 349463940 126836736 29863 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526720 0 0 4096 0 0 0 0 -1 1 0 0
[pid=30410/tid=30413] ppid=30408 vsize=123864 CPUtime=2017.03
/proc/30410/task/30413/stat : 30413 (MiraXTv3_dyn) R 30408 30410 29825 0 -1 4194368 29760 0 0 0 201658 45 0 0 25 0 3 0 349463940 126836736 29863 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526397 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4034.64
Current children cumulated vsize (KiB) 123864

[startup+2082.31 s]
/proc/loadavg: 2.00 1.99 1.91 3/80 30415
/proc/meminfo: memFree=874592/2055920 swapFree=4151396/4192956
[pid=30410] ppid=30408 vsize=123864 CPUtime=4154.38
/proc/30410/stat : 30410 (MiraXTv3_dyn) S 30408 30410 29825 0 -1 4194304 60573 0 0 0 415360 78 0 0 18 0 3 0 349463936 126836736 29872 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30410/statm: 30966 29872 218 20 0 30324 0
[pid=30410/tid=30412] ppid=30408 vsize=123864 CPUtime=2077.55
/proc/30410/task/30412/stat : 30412 (MiraXTv3_dyn) R 30408 30410 29825 0 -1 4194368 29793 0 0 0 207724 31 0 0 25 0 3 0 349463940 126836736 29872 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=30410/tid=30413] ppid=30408 vsize=123864 CPUtime=2076.77
/proc/30410/task/30413/stat : 30413 (MiraXTv3_dyn) R 30408 30410 29825 0 -1 4194368 30233 0 0 0 207632 45 0 0 25 0 3 0 349463940 126836736 29872 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526280 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4154.38
Current children cumulated vsize (KiB) 123864

[startup+2142.3 s]
/proc/loadavg: 2.00 1.99 1.91 3/80 30415
/proc/meminfo: memFree=873888/2055920 swapFree=4151396/4192956
[pid=30410] ppid=30408 vsize=124888 CPUtime=4274.06
/proc/30410/stat : 30410 (MiraXTv3_dyn) S 30408 30410 29825 0 -1 4194304 61685 0 0 0 427327 79 0 0 18 0 3 0 349463936 127885312 30043 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30410/statm: 31222 30043 218 20 0 30580 0
[pid=30410/tid=30412] ppid=30408 vsize=124888 CPUtime=2137.51
/proc/30410/task/30412/stat : 30412 (MiraXTv3_dyn) R 30408 30410 29825 0 -1 4194368 30271 0 0 0 213719 32 0 0 25 0 3 0 349463940 127885312 30043 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=30410/tid=30413] ppid=30408 vsize=124888 CPUtime=2136.5
/proc/30410/task/30413/stat : 30413 (MiraXTv3_dyn) R 30408 30410 29825 0 -1 4194368 30867 0 0 0 213604 46 0 0 25 0 3 0 349463940 127885312 30043 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526291 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4274.06
Current children cumulated vsize (KiB) 124888

[startup+2202.3 s]
/proc/loadavg: 2.00 1.99 1.91 3/80 30415
/proc/meminfo: memFree=873888/2055920 swapFree=4151396/4192956
[pid=30410] ppid=30408 vsize=125880 CPUtime=4393.74
/proc/30410/stat : 30410 (MiraXTv3_dyn) S 30408 30410 29825 0 -1 4194304 62515 0 0 0 439294 80 0 0 18 0 3 0 349463936 128901120 30047 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30410/statm: 31470 30047 218 20 0 30828 0
[pid=30410/tid=30412] ppid=30408 vsize=125880 CPUtime=2197.48
/proc/30410/task/30412/stat : 30412 (MiraXTv3_dyn) R 30408 30410 29825 0 -1 4194368 30626 0 0 0 219715 33 0 0 25 0 3 0 349463940 128901120 30047 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526361 0 0 4096 0 0 0 0 -1 1 0 0
[pid=30410/tid=30413] ppid=30408 vsize=125880 CPUtime=2196.23
/proc/30410/task/30413/stat : 30413 (MiraXTv3_dyn) R 30408 30410 29825 0 -1 4194368 31342 0 0 0 219576 47 0 0 25 0 3 0 349463940 128901120 30047 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4393.74
Current children cumulated vsize (KiB) 125880

[startup+2262.3 s]
/proc/loadavg: 2.00 1.99 1.91 3/80 30415
/proc/meminfo: memFree=873888/2055920 swapFree=4151396/4192956
[pid=30410] ppid=30408 vsize=125880 CPUtime=4513.45
/proc/30410/stat : 30410 (MiraXTv3_dyn) S 30408 30410 29825 0 -1 4194304 63234 0 0 0 451264 81 0 0 18 0 3 0 349463936 128901120 30053 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30410/statm: 31470 30053 218 20 0 30828 0
[pid=30410/tid=30412] ppid=30408 vsize=125880 CPUtime=2257.45
/proc/30410/task/30412/stat : 30412 (MiraXTv3_dyn) R 30408 30410 29825 0 -1 4194368 30984 0 0 0 225712 33 0 0 25 0 3 0 349463940 128901120 30053 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=30410/tid=30413] ppid=30408 vsize=125880 CPUtime=2255.96
/proc/30410/task/30413/stat : 30413 (MiraXTv3_dyn) R 30408 30410 29825 0 -1 4194368 31703 0 0 0 225549 47 0 0 25 0 3 0 349463940 128901120 30053 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526477 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4513.45
Current children cumulated vsize (KiB) 125880

[startup+2322.3 s]
/proc/loadavg: 2.00 1.99 1.91 3/80 30415
/proc/meminfo: memFree=873760/2055920 swapFree=4151396/4192956
[pid=30410] ppid=30408 vsize=125880 CPUtime=4633.15
/proc/30410/stat : 30410 (MiraXTv3_dyn) S 30408 30410 29825 0 -1 4194304 64317 0 0 0 463233 82 0 0 18 0 3 0 349463936 128901120 30062 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30410/statm: 31470 30062 218 20 0 30828 0
[pid=30410/tid=30412] ppid=30408 vsize=125880 CPUtime=2317.42
/proc/30410/task/30412/stat : 30412 (MiraXTv3_dyn) R 30408 30410 29825 0 -1 4194368 31467 0 0 0 231708 34 0 0 25 0 3 0 349463940 128901120 30062 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
[pid=30410/tid=30413] ppid=30408 vsize=125880 CPUtime=2315.69
/proc/30410/task/30413/stat : 30413 (MiraXTv3_dyn) R 30408 30410 29825 0 -1 4194368 32303 0 0 0 231522 47 0 0 24 0 3 0 349463940 128901120 30062 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4633.15
Current children cumulated vsize (KiB) 125880

[startup+2382.3 s]
/proc/loadavg: 2.00 1.99 1.91 3/80 30415
/proc/meminfo: memFree=873760/2055920 swapFree=4151396/4192956
[pid=30410] ppid=30408 vsize=125880 CPUtime=4752.86
/proc/30410/stat : 30410 (MiraXTv3_dyn) S 30408 30410 29825 0 -1 4194304 65168 0 0 0 475203 83 0 0 18 0 3 0 349463936 128901120 30072 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30410/statm: 31470 30072 218 20 0 30828 0
[pid=30410/tid=30412] ppid=30408 vsize=125880 CPUtime=2377.4
/proc/30410/task/30412/stat : 30412 (MiraXTv3_dyn) R 30408 30410 29825 0 -1 4194368 31953 0 0 0 237705 35 0 0 25 0 3 0 349463940 128901120 30072 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526443 0 0 4096 0 0 0 0 -1 1 0 0
[pid=30410/tid=30413] ppid=30408 vsize=125880 CPUtime=2375.42
/proc/30410/task/30413/stat : 30413 (MiraXTv3_dyn) R 30408 30410 29825 0 -1 4194368 32668 0 0 0 237494 48 0 0 25 0 3 0 349463940 128901120 30072 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4752.86
Current children cumulated vsize (KiB) 125880

[startup+2442.3 s]
/proc/loadavg: 2.00 1.99 1.91 3/80 30415
/proc/meminfo: memFree=873632/2055920 swapFree=4151396/4192956
[pid=30410] ppid=30408 vsize=125880 CPUtime=4872.55
/proc/30410/stat : 30410 (MiraXTv3_dyn) S 30408 30410 29825 0 -1 4194304 66147 0 0 0 487171 84 0 0 18 0 3 0 349463936 128901120 30083 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30410/statm: 31470 30083 218 20 0 30828 0
[pid=30410/tid=30412] ppid=30408 vsize=125880 CPUtime=2437.36
/proc/30410/task/30412/stat : 30412 (MiraXTv3_dyn) R 30408 30410 29825 0 -1 4194368 32443 0 0 0 243701 35 0 0 25 0 3 0 349463940 128901120 30083 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=30410/tid=30413] ppid=30408 vsize=125880 CPUtime=2435.14
/proc/30410/task/30413/stat : 30413 (MiraXTv3_dyn) R 30408 30410 29825 0 -1 4194368 33157 0 0 0 243466 48 0 0 25 0 3 0 349463940 128901120 30083 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4872.55
Current children cumulated vsize (KiB) 125880

[startup+2502.3 s]
/proc/loadavg: 2.00 1.99 1.91 3/80 30415
/proc/meminfo: memFree=873696/2055920 swapFree=4151396/4192956
[pid=30410] ppid=30408 vsize=125880 CPUtime=4992.26
/proc/30410/stat : 30410 (MiraXTv3_dyn) S 30408 30410 29825 0 -1 4194304 67011 0 0 0 499141 85 0 0 18 0 3 0 349463936 128901120 30094 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30410/statm: 31470 30094 218 20 0 30828 0
[pid=30410/tid=30412] ppid=30408 vsize=125880 CPUtime=2497.34
/proc/30410/task/30412/stat : 30412 (MiraXTv3_dyn) R 30408 30410 29825 0 -1 4194368 32814 0 0 0 249698 36 0 0 25 0 3 0 349463940 128901120 30094 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526477 0 0 4096 0 0 0 0 -1 1 0 0
[pid=30410/tid=30413] ppid=30408 vsize=125880 CPUtime=2494.88
/proc/30410/task/30413/stat : 30413 (MiraXTv3_dyn) R 30408 30410 29825 0 -1 4194368 33650 0 0 0 249440 48 0 0 25 0 3 0 349463940 128901120 30094 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4992.26
Current children cumulated vsize (KiB) 125880



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2506.2 s]
/proc/loadavg: 2.00 1.99 1.91 3/80 30415
/proc/meminfo: memFree=873632/2055920 swapFree=4151396/4192956
[pid=30410] ppid=30408 vsize=125880 CPUtime=5000.05
/proc/30410/stat : 30410 (MiraXTv3_dyn) S 30408 30410 29825 0 -1 4194304 67134 0 0 0 499920 85 0 0 18 0 3 0 349463936 128901120 30095 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30410/statm: 31470 30095 218 20 0 30828 0
[pid=30410/tid=30412] ppid=30408 vsize=125880 CPUtime=2501.24
/proc/30410/task/30412/stat : 30412 (MiraXTv3_dyn) R 30408 30410 29825 0 -1 4194368 32937 0 0 0 250088 36 0 0 25 0 3 0 349463940 128901120 30095 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
[pid=30410/tid=30413] ppid=30408 vsize=125880 CPUtime=2498.76
/proc/30410/task/30413/stat : 30413 (MiraXTv3_dyn) R 30408 30410 29825 0 -1 4194368 33650 0 0 0 249828 48 0 0 25 0 3 0 349463940 128901120 30095 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526454 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 5000.05
Current children cumulated vsize (KiB) 125880

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.23
CPU time (s): 5000.09
CPU user time (s): 4999.22
CPU system time (s): 0.876866
CPU usage (%): 199.506
Max. virtual memory (cumulated for all children) (KiB): 126368

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4999.22
system time used= 0.876866
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 67134
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= 327
involuntary context switches= 94220

runsolver used 2.51362 second user time and 6.61299 second system time

The end

Launcher Data (download as text)

Begin job on node35 on Sun May 13 00:18:05 UTC 2007

IDJOB= 426445
IDBENCH= 20319
IDSOLVER= 196
FILE ID= node35/426445-1179015485

PBS_JOBID= 5252980

Free space on /tmp= 66550 MiB

SOLVER NAME= MiraXT v3
BENCH NAME= HOME/pub/bench/SAT07/random/2+p/p0.8/v2405/unif2p-p0.8-v2405-c7479-S1151229574-11-UNSAT.cnf
COMMAND LINE= /tmp/evaluation/426445-1179015485/MiraXTv3_dyn /tmp/evaluation/426445-1179015485/instance-426445-1179015485.cnf
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node35/watcher-426445-1179015485 -o ROOT/results/node35/solver-426445-1179015485 -C 5000 -W 7500 -M 1800 --output-limit 1,15  /tmp/evaluation/426445-1179015485/MiraXTv3_dyn /tmp/evaluation/426445-1179015485/instance-426445-1179015485.cnf

META MD5SUM SOLVER= 2ad149617ed8d249d89b067eb44c33da
MD5SUM BENCH=  bbb4149cc32eff7dd6676db03641b5a9

RANDOM SEED= 641787556

TIME LIMIT= 5000 seconds
MEMORY LIMIT= 1800 MiB

Linux node35.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:        994376 kB
Buffers:         53716 kB
Cached:         848392 kB
SwapCached:       9024 kB
Active:         576384 kB
Inactive:       349896 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:        994376 kB
SwapTotal:     4192956 kB
SwapFree:      4151396 kB
Dirty:            4036 kB
Writeback:           0 kB
Mapped:          31140 kB
Slab:           120568 kB
Committed_AS:  7640888 kB
PageTables:       1996 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= 66550 MiB

End job on node35 on Sun May 13 00:59:53 UTC 2007