Trace number 456171

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.07 2528.14

General information on the benchmark

Namecrafted/Hard/contest04/others/
equilarge_l3.sat05-520.reshuffled-07.cnf
MD5SUM8fc368e9f6ea136e0b6522b198a7a916
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark1391.12
Satisfiable
(Un)Satisfiability was proved
Number of variables4496
Number of clauses18591
Sum of the clauses size54418
Maximum clause length3
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 21355
Number of clauses of size 317236
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/node59/watcher-456171-1179020578 -o ROOT/results/node59/solver-456171-1179020578 -C 5000 -W 7500 -M 1800 --output-limit 1,15 /tmp/evaluation/456171-1179020578/MiraXTv3_dyn /tmp/evaluation/456171-1179020578/instance-456171-1179020578.cnf 

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


[startup+0 s]
/proc/loadavg: 1.83 1.94 1.90 3/64 11267
/proc/meminfo: memFree=1274584/2055920 swapFree=4184640/4192956
[pid=11267] ppid=11265 vsize=3788 CPUtime=0
/proc/11267/stat : 11267 (MiraXTv3_dyn) R 11265 11267 11193 0 -1 4194304 322 0 0 0 0 0 0 0 18 0 1 0 349967477 3878912 297 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/11267/statm: 947 304 202 20 0 305 0

[startup+0.013227 s]
/proc/loadavg: 1.83 1.94 1.90 3/64 11267
/proc/meminfo: memFree=1274584/2055920 swapFree=4184640/4192956
[pid=11267] ppid=11265 vsize=4632 CPUtime=0
/proc/11267/stat : 11267 (MiraXTv3_dyn) R 11265 11267 11193 0 -1 4194304 554 0 0 0 0 0 0 0 18 0 1 0 349967477 4743168 529 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 9721467 0 0 4096 0 0 0 0 17 1 0 0
/proc/11267/statm: 1158 530 206 20 0 516 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 4632

[startup+0.101243 s]
/proc/loadavg: 1.83 1.94 1.90 3/64 11267
/proc/meminfo: memFree=1274584/2055920 swapFree=4184640/4192956
[pid=11267] ppid=11265 vsize=6728 CPUtime=0.09
/proc/11267/stat : 11267 (MiraXTv3_dyn) R 11265 11267 11193 0 -1 4194304 1064 0 0 0 9 0 0 0 18 0 1 0 349967477 6889472 1039 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134577957 0 0 4096 0 0 0 0 17 1 0 0
/proc/11267/statm: 1682 1039 207 20 0 1040 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6728

[startup+0.301287 s]
/proc/loadavg: 1.83 1.94 1.90 3/64 11267
/proc/meminfo: memFree=1274584/2055920 swapFree=4184640/4192956
[pid=11267] ppid=11265 vsize=14900 CPUtime=0.44
/proc/11267/stat : 11267 (MiraXTv3_dyn) S 11265 11267 11193 0 -1 4194304 1919 0 0 0 43 1 0 0 18 0 3 0 349967477 15257600 1844 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/11267/statm: 3725 1844 218 20 0 3083 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 14900

[startup+0.701361 s]
/proc/loadavg: 1.83 1.94 1.90 3/64 11267
/proc/meminfo: memFree=1274584/2055920 swapFree=4184640/4192956
[pid=11267] ppid=11265 vsize=15428 CPUtime=1.24
/proc/11267/stat : 11267 (MiraXTv3_dyn) S 11265 11267 11193 0 -1 4194304 2244 0 0 0 123 1 0 0 18 0 3 0 349967477 15798272 2169 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/11267/statm: 3857 2169 218 20 0 3215 0
Current children cumulated CPU time (s) 1.24
Current children cumulated vsize (KiB) 15428

[startup+1.50152 s]
/proc/loadavg: 1.83 1.94 1.90 3/67 11270
/proc/meminfo: memFree=1265856/2055920 swapFree=4184640/4192956
[pid=11267] ppid=11265 vsize=17376 CPUtime=2.83
/proc/11267/stat : 11267 (MiraXTv3_dyn) S 11265 11267 11193 0 -1 4194304 2754 0 0 0 282 1 0 0 18 0 3 0 349967477 17793024 2679 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/11267/statm: 4344 2679 218 20 0 3702 0
[pid=11267/tid=11269] ppid=11265 vsize=17376 CPUtime=1.37
/proc/11267/task/11269/stat : 11269 (MiraXTv3_dyn) R 11265 11267 11193 0 -1 4194368 832 0 0 0 137 0 0 0 25 0 3 0 349967490 17793024 2679 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 9721467 0 0 4096 0 0 0 0 -1 1 0 0
[pid=11267/tid=11270] ppid=11265 vsize=17376 CPUtime=1.34
/proc/11267/task/11270/stat : 11270 (MiraXTv3_dyn) R 11265 11267 11193 0 -1 4194368 820 0 0 0 134 0 0 0 23 0 3 0 349967490 17793024 2679 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526685 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.83
Current children cumulated vsize (KiB) 17376

[startup+3.10182 s]
/proc/loadavg: 1.83 1.94 1.90 3/67 11270
/proc/meminfo: memFree=1262784/2055920 swapFree=4184640/4192956
[pid=11267] ppid=11265 vsize=21888 CPUtime=6.03
/proc/11267/stat : 11267 (MiraXTv3_dyn) S 11265 11267 11193 0 -1 4194304 3856 0 0 0 601 2 0 0 18 0 3 0 349967477 22413312 3781 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/11267/statm: 5472 3781 218 20 0 4830 0
[pid=11267/tid=11269] ppid=11265 vsize=21888 CPUtime=2.96
/proc/11267/task/11269/stat : 11269 (MiraXTv3_dyn) R 11265 11267 11193 0 -1 4194368 1278 0 0 0 296 0 0 0 25 0 3 0 349967490 22413312 3781 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526720 0 0 4096 0 0 0 0 -1 1 0 0
[pid=11267/tid=11270] ppid=11265 vsize=21888 CPUtime=2.92
/proc/11267/task/11270/stat : 11270 (MiraXTv3_dyn) R 11265 11267 11193 0 -1 4194368 1476 0 0 0 292 0 0 0 25 0 3 0 349967490 22413312 3781 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.03
Current children cumulated vsize (KiB) 21888

[startup+6.30143 s]
/proc/loadavg: 1.85 1.94 1.90 3/67 11270
/proc/meminfo: memFree=1254976/2055920 swapFree=4184640/4192956
[pid=11267] ppid=11265 vsize=28388 CPUtime=12.41
/proc/11267/stat : 11267 (MiraXTv3_dyn) S 11265 11267 11193 0 -1 4194304 5198 0 0 0 1237 4 0 0 18 0 3 0 349967477 29069312 5123 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/11267/statm: 7097 5123 218 20 0 6455 0
[pid=11267/tid=11269] ppid=11265 vsize=28388 CPUtime=6.17
/proc/11267/task/11269/stat : 11269 (MiraXTv3_dyn) R 11265 11267 11193 0 -1 4194368 1874 0 0 0 616 1 0 0 25 0 3 0 349967490 29069312 5123 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526312 0 0 4096 0 0 0 0 -1 1 0 0
[pid=11267/tid=11270] ppid=11265 vsize=28388 CPUtime=6.12
/proc/11267/task/11270/stat : 11270 (MiraXTv3_dyn) R 11265 11267 11193 0 -1 4194368 2222 0 0 0 610 2 0 0 24 0 3 0 349967490 29069312 5123 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526397 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.41
Current children cumulated vsize (KiB) 28388

[startup+12.7026 s]
/proc/loadavg: 1.86 1.94 1.90 3/67 11270
/proc/meminfo: memFree=1249152/2055920 swapFree=4184640/4192956
[pid=11267] ppid=11265 vsize=33712 CPUtime=25.18
/proc/11267/stat : 11267 (MiraXTv3_dyn) S 11265 11267 11193 0 -1 4194304 6658 0 0 0 2512 6 0 0 18 0 3 0 349967477 34521088 6508 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/11267/statm: 8428 6508 218 20 0 7786 0
[pid=11267/tid=11269] ppid=11265 vsize=33712 CPUtime=12.56
/proc/11267/task/11269/stat : 11269 (MiraXTv3_dyn) R 11265 11267 11193 0 -1 4194368 2640 0 0 0 1255 1 0 0 25 0 3 0 349967490 34521088 6508 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134565817 0 0 4096 0 0 0 0 -1 1 0 0
[pid=11267/tid=11270] ppid=11265 vsize=33712 CPUtime=12.49
/proc/11267/task/11270/stat : 11270 (MiraXTv3_dyn) R 11265 11267 11193 0 -1 4194368 2916 0 0 0 1246 3 0 0 25 0 3 0 349967490 34521088 6508 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526489 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.18
Current children cumulated vsize (KiB) 33712

[startup+25.5011 s]
/proc/loadavg: 1.89 1.94 1.90 3/67 11270
/proc/meminfo: memFree=1237120/2055920 swapFree=4184640/4192956
[pid=11267] ppid=11265 vsize=45548 CPUtime=50.71
/proc/11267/stat : 11267 (MiraXTv3_dyn) S 11265 11267 11193 0 -1 4194304 9894 0 0 0 5062 9 0 0 18 0 3 0 349967477 46641152 9517 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/11267/statm: 11387 9517 218 20 0 10745 0
[pid=11267/tid=11269] ppid=11265 vsize=45548 CPUtime=25.34
/proc/11267/task/11269/stat : 11269 (MiraXTv3_dyn) R 11265 11267 11193 0 -1 4194368 4338 0 0 0 2532 2 0 0 25 0 3 0 349967490 46641152 9517 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134520200 0 0 4096 0 0 0 0 -1 1 0 0
[pid=11267/tid=11270] ppid=11265 vsize=45548 CPUtime=25.23
/proc/11267/task/11270/stat : 11270 (MiraXTv3_dyn) R 11265 11267 11193 0 -1 4194368 4454 0 0 0 2518 5 0 0 25 0 3 0 349967490 46641152 9517 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526489 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 45548

[startup+51.102 s]
/proc/loadavg: 1.93 1.94 1.90 3/67 11270
/proc/meminfo: memFree=1214912/2055920 swapFree=4184640/4192956
[pid=11267] ppid=11265 vsize=67144 CPUtime=101.78
/proc/11267/stat : 11267 (MiraXTv3_dyn) S 11265 11267 11193 0 -1 4194304 15818 0 0 0 10163 15 0 0 18 0 3 0 349967477 68755456 15034 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/11267/statm: 16786 15034 218 20 0 16144 0
[pid=11267/tid=11269] ppid=11265 vsize=67144 CPUtime=50.93
/proc/11267/task/11269/stat : 11269 (MiraXTv3_dyn) R 11265 11267 11193 0 -1 4194368 6925 0 0 0 5088 5 0 0 25 0 3 0 349967490 68755456 15034 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134565712 0 0 4096 0 0 0 0 -1 1 0 0
[pid=11267/tid=11270] ppid=11265 vsize=67144 CPUtime=50.72
/proc/11267/task/11270/stat : 11270 (MiraXTv3_dyn) R 11265 11267 11193 0 -1 4194368 7791 0 0 0 5063 9 0 0 25 0 3 0 349967490 68755456 15034 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.78
Current children cumulated vsize (KiB) 67144

[startup+102.307 s]
/proc/loadavg: 1.97 1.95 1.91 3/67 11272
/proc/meminfo: memFree=1201152/2055920 swapFree=4184640/4192956
[pid=11267] ppid=11265 vsize=80320 CPUtime=203.92
/proc/11267/stat : 11267 (MiraXTv3_dyn) S 11265 11267 11193 0 -1 4194304 20141 0 0 0 20372 20 0 0 18 0 3 0 349967477 82247680 18448 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/11267/statm: 20080 18448 218 20 0 19438 0
[pid=11267/tid=11269] ppid=11265 vsize=80320 CPUtime=102.09
/proc/11267/task/11269/stat : 11269 (MiraXTv3_dyn) R 11265 11267 11193 0 -1 4194368 9054 0 0 0 10202 7 0 0 25 0 3 0 349967490 82247680 18448 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=11267/tid=11270] ppid=11265 vsize=80320 CPUtime=101.7
/proc/11267/task/11270/stat : 11270 (MiraXTv3_dyn) R 11265 11267 11193 0 -1 4194368 9985 0 0 0 10158 12 0 0 21 0 3 0 349967490 82247680 18448 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 203.92
Current children cumulated vsize (KiB) 80320

[startup+162.301 s]
/proc/loadavg: 1.99 1.95 1.91 3/67 11272
/proc/meminfo: memFree=1197888/2055920 swapFree=4184640/4192956
[pid=11267] ppid=11265 vsize=83736 CPUtime=323.58
/proc/11267/stat : 11267 (MiraXTv3_dyn) S 11265 11267 11193 0 -1 4194304 21687 0 0 0 32336 22 0 0 18 0 3 0 349967477 85745664 19293 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/11267/statm: 20934 19293 218 20 0 20292 0
[pid=11267/tid=11269] ppid=11265 vsize=83736 CPUtime=162.04
/proc/11267/task/11269/stat : 11269 (MiraXTv3_dyn) R 11265 11267 11193 0 -1 4194368 9084 0 0 0 16197 7 0 0 25 0 3 0 349967490 85745664 19293 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526277 0 0 4096 0 0 0 0 -1 1 0 0
[pid=11267/tid=11270] ppid=11265 vsize=83736 CPUtime=161.41
/proc/11267/task/11270/stat : 11270 (MiraXTv3_dyn) R 11265 11267 11193 0 -1 4194368 11501 0 0 0 16127 14 0 0 25 0 3 0 349967490 85745664 19293 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526702 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 323.58
Current children cumulated vsize (KiB) 83736

[startup+222.302 s]
/proc/loadavg: 1.99 1.96 1.91 3/67 11272
/proc/meminfo: memFree=1192832/2055920 swapFree=4184640/4192956
[pid=11267] ppid=11265 vsize=88456 CPUtime=443.29
/proc/11267/stat : 11267 (MiraXTv3_dyn) S 11265 11267 11193 0 -1 4194304 23567 0 0 0 44305 24 0 0 18 0 3 0 349967477 90578944 20529 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/11267/statm: 22114 20529 218 20 0 21472 0
[pid=11267/tid=11269] ppid=11265 vsize=88456 CPUtime=222.02
/proc/11267/task/11269/stat : 11269 (MiraXTv3_dyn) R 11265 11267 11193 0 -1 4194368 10257 0 0 0 22193 9 0 0 25 0 3 0 349967490 90578944 20529 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526322 0 0 4096 0 0 0 0 -1 1 0 0
[pid=11267/tid=11270] ppid=11265 vsize=88456 CPUtime=221.14
/proc/11267/task/11270/stat : 11270 (MiraXTv3_dyn) R 11265 11267 11193 0 -1 4194368 12208 0 0 0 22100 14 0 0 25 0 3 0 349967490 90578944 20529 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526437 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 443.29
Current children cumulated vsize (KiB) 88456

[startup+282.302 s]
/proc/loadavg: 1.99 1.97 1.91 3/67 11272
/proc/meminfo: memFree=1187968/2055920 swapFree=4184640/4192956
[pid=11267] ppid=11265 vsize=92772 CPUtime=562.98
/proc/11267/stat : 11267 (MiraXTv3_dyn) S 11265 11267 11193 0 -1 4194304 25747 0 0 0 56272 26 0 0 18 0 3 0 349967477 94998528 21693 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/11267/statm: 23193 21693 218 20 0 22551 0
[pid=11267/tid=11269] ppid=11265 vsize=92772 CPUtime=281.98
/proc/11267/task/11269/stat : 11269 (MiraXTv3_dyn) R 11265 11267 11193 0 -1 4194368 11799 0 0 0 28188 10 0 0 25 0 3 0 349967490 94998528 21693 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526288 0 0 4096 0 0 0 0 -1 1 0 0
[pid=11267/tid=11270] ppid=11265 vsize=92772 CPUtime=280.87
/proc/11267/task/11270/stat : 11270 (MiraXTv3_dyn) R 11265 11267 11193 0 -1 4194368 12846 0 0 0 28073 14 0 0 25 0 3 0 349967490 94998528 21693 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526291 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 562.98
Current children cumulated vsize (KiB) 92772

[startup+342.302 s]
/proc/loadavg: 1.99 1.97 1.91 3/67 11272
/proc/meminfo: memFree=1181960/2055920 swapFree=4184640/4192956
[pid=11267] ppid=11265 vsize=98936 CPUtime=682.68
/proc/11267/stat : 11267 (MiraXTv3_dyn) S 11265 11267 11193 0 -1 4194304 28297 0 0 0 68240 28 0 0 18 0 3 0 349967477 101310464 23275 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/11267/statm: 24734 23275 218 20 0 24092 0
[pid=11267/tid=11269] ppid=11265 vsize=98936 CPUtime=341.95
/proc/11267/task/11269/stat : 11269 (MiraXTv3_dyn) R 11265 11267 11193 0 -1 4194368 14033 0 0 0 34183 12 0 0 25 0 3 0 349967490 101310464 23275 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526702 0 0 4096 0 0 0 0 -1 1 0 0
[pid=11267/tid=11270] ppid=11265 vsize=98936 CPUtime=340.61
/proc/11267/task/11270/stat : 11270 (MiraXTv3_dyn) R 11265 11267 11193 0 -1 4194368 13162 0 0 0 34046 15 0 0 25 0 3 0 349967490 101310464 23275 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526291 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 682.68
Current children cumulated vsize (KiB) 98936

[startup+402.302 s]

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

/proc/11267/task/11269/stat : 11269 (MiraXTv3_dyn) R 11265 11267 11193 0 -1 4194368 19812 0 0 0 189657 21 0 0 25 0 3 0 349967490 146784256 34358 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134520708 0 0 4096 0 0 0 0 -1 1 0 0
[pid=11267/tid=11270] ppid=11265 vsize=143344 CPUtime=1893.27
/proc/11267/task/11270/stat : 11270 (MiraXTv3_dyn) R 11265 11267 11193 0 -1 4194368 22019 0 0 0 189281 46 0 0 25 0 3 0 349967490 146784256 34358 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526261 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3790.18
Current children cumulated vsize (KiB) 143344

[startup+1962.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/67 11950
/proc/meminfo: memFree=1136392/2055920 swapFree=4184640/4192956
[pid=11267] ppid=11265 vsize=143344 CPUtime=3909.88
/proc/11267/stat : 11267 (MiraXTv3_dyn) S 11265 11267 11193 0 -1 4194304 43014 0 0 0 390919 69 0 0 18 0 3 0 349967477 146784256 34358 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/11267/statm: 35836 34358 218 20 0 35194 0
[pid=11267/tid=11269] ppid=11265 vsize=143344 CPUtime=1956.75
/proc/11267/task/11269/stat : 11269 (MiraXTv3_dyn) R 11265 11267 11193 0 -1 4194368 19893 0 0 0 195654 21 0 0 25 0 3 0 349967490 146784256 34358 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
[pid=11267/tid=11270] ppid=11265 vsize=143344 CPUtime=1952.99
/proc/11267/task/11270/stat : 11270 (MiraXTv3_dyn) R 11265 11267 11193 0 -1 4194368 22019 0 0 0 195253 46 0 0 25 0 3 0 349967490 146784256 34358 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3909.88
Current children cumulated vsize (KiB) 143344

[startup+2022.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/67 11950
/proc/meminfo: memFree=1132744/2055920 swapFree=4184640/4192956
[pid=11267] ppid=11265 vsize=146416 CPUtime=4029.57
/proc/11267/stat : 11267 (MiraXTv3_dyn) S 11265 11267 11193 0 -1 4194304 44039 0 0 0 402886 71 0 0 18 0 3 0 349967477 149929984 35302 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/11267/statm: 36604 35302 218 20 0 35962 0
[pid=11267/tid=11269] ppid=11265 vsize=146416 CPUtime=2016.72
/proc/11267/task/11269/stat : 11269 (MiraXTv3_dyn) R 11265 11267 11193 0 -1 4194368 20914 0 0 0 201649 23 0 0 25 0 3 0 349967490 149929984 35302 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526489 0 0 4096 0 0 0 0 -1 1 0 0
[pid=11267/tid=11270] ppid=11265 vsize=146416 CPUtime=2012.71
/proc/11267/task/11270/stat : 11270 (MiraXTv3_dyn) R 11265 11267 11193 0 -1 4194368 22023 0 0 0 201225 46 0 0 25 0 3 0 349967490 149929984 35302 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4029.57
Current children cumulated vsize (KiB) 146416

[startup+2082.31 s]
/proc/loadavg: 2.00 2.00 1.95 3/67 11950
/proc/meminfo: memFree=1132744/2055920 swapFree=4184640/4192956
[pid=11267] ppid=11265 vsize=146416 CPUtime=4149.29
/proc/11267/stat : 11267 (MiraXTv3_dyn) S 11265 11267 11193 0 -1 4194304 44040 0 0 0 414858 71 0 0 18 0 3 0 349967477 149929984 35303 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/11267/statm: 36604 35303 218 20 0 35962 0
[pid=11267/tid=11269] ppid=11265 vsize=146416 CPUtime=2076.71
/proc/11267/task/11269/stat : 11269 (MiraXTv3_dyn) R 11265 11267 11193 0 -1 4194368 20914 0 0 0 207647 24 0 0 25 0 3 0 349967490 149929984 35303 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
[pid=11267/tid=11270] ppid=11265 vsize=146416 CPUtime=2072.45
/proc/11267/task/11270/stat : 11270 (MiraXTv3_dyn) R 11265 11267 11193 0 -1 4194368 22024 0 0 0 207199 46 0 0 25 0 3 0 349967490 149929984 35303 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4149.29
Current children cumulated vsize (KiB) 146416

[startup+2142.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/67 11950
/proc/meminfo: memFree=1130568/2055920 swapFree=4184640/4192956
[pid=11267] ppid=11265 vsize=148628 CPUtime=4268.97
/proc/11267/stat : 11267 (MiraXTv3_dyn) S 11265 11267 11193 0 -1 4194304 44827 0 0 0 426825 72 0 0 18 0 3 0 349967477 152195072 35847 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/11267/statm: 37157 35847 218 20 0 36515 0
[pid=11267/tid=11269] ppid=11265 vsize=148628 CPUtime=2136.67
/proc/11267/task/11269/stat : 11269 (MiraXTv3_dyn) R 11265 11267 11193 0 -1 4194368 20915 0 0 0 213643 24 0 0 25 0 3 0 349967490 152195072 35847 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526004 0 0 4096 0 0 0 0 -1 1 0 0
[pid=11267/tid=11270] ppid=11265 vsize=148628 CPUtime=2132.18
/proc/11267/task/11270/stat : 11270 (MiraXTv3_dyn) R 11265 11267 11193 0 -1 4194368 22810 0 0 0 213171 47 0 0 25 0 3 0 349967490 152195072 35847 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526531 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4268.97
Current children cumulated vsize (KiB) 148628

[startup+2202.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/67 11950
/proc/meminfo: memFree=1127624/2055920 swapFree=4184640/4192956
[pid=11267] ppid=11265 vsize=151864 CPUtime=4388.66
/proc/11267/stat : 11267 (MiraXTv3_dyn) S 11265 11267 11193 0 -1 4194304 45836 0 0 0 438793 73 0 0 18 0 3 0 349967477 155508736 36529 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/11267/statm: 37966 36529 218 20 0 37324 0
[pid=11267/tid=11269] ppid=11265 vsize=151864 CPUtime=2196.64
/proc/11267/task/11269/stat : 11269 (MiraXTv3_dyn) R 11265 11267 11193 0 -1 4194368 21000 0 0 0 219640 24 0 0 25 0 3 0 349967490 155508736 36529 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134520292 0 0 4096 0 0 0 0 -1 1 0 0
[pid=11267/tid=11270] ppid=11265 vsize=151864 CPUtime=2191.89
/proc/11267/task/11270/stat : 11270 (MiraXTv3_dyn) R 11265 11267 11193 0 -1 4194368 23734 0 0 0 219142 47 0 0 25 0 3 0 349967490 155508736 36529 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4388.66
Current children cumulated vsize (KiB) 151864

[startup+2262.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/67 11950
/proc/meminfo: memFree=1126024/2055920 swapFree=4184640/4192956
[pid=11267] ppid=11265 vsize=152888 CPUtime=4508.37
/proc/11267/stat : 11267 (MiraXTv3_dyn) S 11265 11267 11193 0 -1 4194304 46322 0 0 0 450763 74 0 0 18 0 3 0 349967477 156557312 36933 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/11267/statm: 38222 36933 218 20 0 37580 0
[pid=11267/tid=11269] ppid=11265 vsize=152888 CPUtime=2256.61
/proc/11267/task/11269/stat : 11269 (MiraXTv3_dyn) R 11265 11267 11193 0 -1 4194368 21000 0 0 0 225637 24 0 0 25 0 3 0 349967490 156557312 36933 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526454 0 0 4096 0 0 0 0 -1 1 0 0
[pid=11267/tid=11270] ppid=11265 vsize=152888 CPUtime=2251.64
/proc/11267/task/11270/stat : 11270 (MiraXTv3_dyn) R 11265 11267 11193 0 -1 4194368 24220 0 0 0 225115 49 0 0 25 0 3 0 349967490 156557312 36933 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526004 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4508.37
Current children cumulated vsize (KiB) 152888

[startup+2322.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/67 11950
/proc/meminfo: memFree=1126024/2055920 swapFree=4184640/4192956
[pid=11267] ppid=11265 vsize=152888 CPUtime=4628.08
/proc/11267/stat : 11267 (MiraXTv3_dyn) S 11265 11267 11193 0 -1 4194304 46653 0 0 0 462734 74 0 0 18 0 3 0 349967477 156557312 36936 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/11267/statm: 38222 36936 218 20 0 37580 0
[pid=11267/tid=11269] ppid=11265 vsize=152888 CPUtime=2316.58
/proc/11267/task/11269/stat : 11269 (MiraXTv3_dyn) R 11265 11267 11193 0 -1 4194368 21000 0 0 0 231634 24 0 0 25 0 3 0 349967490 156557312 36936 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 1 0 0
[pid=11267/tid=11270] ppid=11265 vsize=152888 CPUtime=2311.37
/proc/11267/task/11270/stat : 11270 (MiraXTv3_dyn) R 11265 11267 11193 0 -1 4194368 24551 0 0 0 231088 49 0 0 25 0 3 0 349967490 156557312 36936 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4628.08
Current children cumulated vsize (KiB) 152888

[startup+2382.3 s]
/proc/loadavg: 2.72 2.17 2.01 3/74 15833
/proc/meminfo: memFree=1119424/2055920 swapFree=4184640/4192956
[pid=11267] ppid=11265 vsize=152888 CPUtime=4738.56
/proc/11267/stat : 11267 (MiraXTv3_dyn) S 11265 11267 11193 0 -1 4194304 46902 0 0 0 473777 79 0 0 18 0 3 0 349967477 156557312 36939 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/11267/statm: 38222 36939 218 20 0 37580 0
[pid=11267/tid=11269] ppid=11265 vsize=152888 CPUtime=2368.87
/proc/11267/task/11269/stat : 11269 (MiraXTv3_dyn) R 11265 11267 11193 0 -1 4194368 21003 0 0 0 236862 25 0 0 25 0 3 0 349967490 156557312 36939 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
[pid=11267/tid=11270] ppid=11265 vsize=152888 CPUtime=2369.55
/proc/11267/task/11270/stat : 11270 (MiraXTv3_dyn) R 11265 11267 11193 0 -1 4194368 24797 0 0 0 236903 52 0 0 25 0 3 0 349967490 156557312 36939 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4738.56
Current children cumulated vsize (KiB) 152888

[startup+2442.3 s]
/proc/loadavg: 3.01 2.35 2.08 4/74 21600
/proc/meminfo: memFree=1111936/2055920 swapFree=4184640/4192956
[pid=11267] ppid=11265 vsize=152888 CPUtime=4845.07
/proc/11267/stat : 11267 (MiraXTv3_dyn) S 11265 11267 11193 0 -1 4194304 47312 0 0 0 484423 84 0 0 18 0 3 0 349967477 156557312 36939 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/11267/statm: 38222 36939 218 20 0 37580 0
[pid=11267/tid=11269] ppid=11265 vsize=152888 CPUtime=2426.36
/proc/11267/task/11269/stat : 11269 (MiraXTv3_dyn) R 11265 11267 11193 0 -1 4194368 21003 0 0 0 242607 29 0 0 25 0 3 0 349967490 156557312 36939 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526702 0 0 4096 0 0 0 0 -1 0 0 0
[pid=11267/tid=11270] ppid=11265 vsize=152888 CPUtime=2418.57
/proc/11267/task/11270/stat : 11270 (MiraXTv3_dyn) R 11265 11267 11193 0 -1 4194368 25207 0 0 0 241804 53 0 0 25 0 3 0 349967490 156557312 36939 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4845.07
Current children cumulated vsize (KiB) 152888

[startup+2502.3 s]
/proc/loadavg: 3.08 2.50 2.14 4/74 26501
/proc/meminfo: memFree=1107392/2055920 swapFree=4184640/4192956
[pid=11267] ppid=11265 vsize=152888 CPUtime=4953.53
/proc/11267/stat : 11267 (MiraXTv3_dyn) S 11265 11267 11193 0 -1 4194304 47482 0 0 0 495264 89 0 0 18 0 3 0 349967477 156557312 36939 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/11267/statm: 38222 36939 218 20 0 37580 0
[pid=11267/tid=11269] ppid=11265 vsize=152888 CPUtime=2480.73
/proc/11267/task/11269/stat : 11269 (MiraXTv3_dyn) R 11265 11267 11193 0 -1 4194368 21008 0 0 0 248041 32 0 0 25 0 3 0 349967490 156557312 36939 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526707 0 0 4096 0 0 0 0 -1 1 0 0
[pid=11267/tid=11270] ppid=11265 vsize=152888 CPUtime=2472.67
/proc/11267/task/11270/stat : 11270 (MiraXTv3_dyn) R 11265 11267 11193 0 -1 4194368 25372 0 0 0 247211 56 0 0 25 0 3 0 349967490 156557312 36939 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4953.53
Current children cumulated vsize (KiB) 152888



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2528.1 s]
/proc/loadavg: 3.30 2.61 2.19 4/73 28718
/proc/meminfo: memFree=1105288/2055920 swapFree=4184640/4192956
[pid=11267] ppid=11265 vsize=152888 CPUtime=5000.03
/proc/11267/stat : 11267 (MiraXTv3_dyn) S 11265 11267 11193 0 -1 4194304 47482 0 0 0 499912 91 0 0 18 0 3 0 349967477 156557312 36939 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/11267/statm: 38222 36939 218 20 0 37580 0
[pid=11267/tid=11269] ppid=11265 vsize=152888 CPUtime=2502.11
/proc/11267/task/11269/stat : 11269 (MiraXTv3_dyn) R 11265 11267 11193 0 -1 4194368 21008 0 0 0 250178 33 0 0 25 0 3 0 349967490 156557312 36939 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526280 0 0 4096 0 0 0 0 -1 1 0 0
[pid=11267/tid=11270] ppid=11265 vsize=152888 CPUtime=2497.79
/proc/11267/task/11270/stat : 11270 (MiraXTv3_dyn) R 11265 11267 11193 0 -1 4194368 25372 0 0 0 249722 57 0 0 25 0 3 0 349967490 156557312 36939 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 5000.03
Current children cumulated vsize (KiB) 152888

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

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

[startup+2528.1 s]
/proc/loadavg: 3.30 2.61 2.19 4/73 28718
/proc/meminfo: memFree=1105288/2055920 swapFree=4184640/4192956
[pid=11267] ppid=11265 vsize=152888 CPUtime=5000.03
/proc/11267/stat : 11267 (MiraXTv3_dyn) S 11265 11267 11193 0 -1 4194304 47482 0 0 0 499912 91 0 0 18 0 3 0 349967477 156557312 36939 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/11267/statm: 38222 36939 218 20 0 37580 0
[pid=11267/tid=11269] ppid=11265 vsize=152888 CPUtime=2502.11
/proc/11267/task/11269/stat : 11269 (MiraXTv3_dyn) R 11265 11267 11193 0 -1 4194368 21008 0 0 0 250178 33 0 0 25 0 3 0 349967490 156557312 36939 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526280 0 0 4096 0 0 0 0 -1 1 0 0
[pid=11267/tid=11270] ppid=11265 vsize=152888 CPUtime=2497.79
/proc/11267/task/11270/stat : 11270 (MiraXTv3_dyn) R 11265 11267 11193 0 -1 4194368 25372 0 0 0 249722 57 0 0 25 0 3 0 349967490 156557312 36939 18446744073709551615 134512640 134597700 4294956672 18446744073709551615 134526306 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 5000.03
Current children cumulated vsize (KiB) 152888

Child ended because it received signal 15 (SIGTERM)
Real time (s): 2528.14
CPU time (s): 5000.07
CPU user time (s): 4999.14
CPU system time (s): 0.934857
CPU usage (%): 197.777
Max. virtual memory (cumulated for all children) (KiB): 153216

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4999.14
system time used= 0.934857
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 47482
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= 253
involuntary context switches= 47435

runsolver used 2.26365 second user time and 7.01093 second system time

The end

Launcher Data (download as text)

Begin job on node59 on Sun May 13 01:42:59 UTC 2007

IDJOB= 456171
IDBENCH= 24622
IDSOLVER= 196
FILE ID= node59/456171-1179020578

PBS_JOBID= 5253242

Free space on /tmp= 66539 MiB

SOLVER NAME= MiraXT v3
BENCH NAME= HOME/pub/bench/SAT07/crafted/Hard/contest04/others/equilarge_l3.sat05-520.reshuffled-07.cnf
COMMAND LINE= /tmp/evaluation/456171-1179020578/MiraXTv3_dyn /tmp/evaluation/456171-1179020578/instance-456171-1179020578.cnf
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node59/watcher-456171-1179020578 -o ROOT/results/node59/solver-456171-1179020578 -C 5000 -W 7500 -M 1800 --output-limit 1,15  /tmp/evaluation/456171-1179020578/MiraXTv3_dyn /tmp/evaluation/456171-1179020578/instance-456171-1179020578.cnf

META MD5SUM SOLVER= 2ad149617ed8d249d89b067eb44c33da
MD5SUM BENCH=  8fc368e9f6ea136e0b6522b198a7a916

RANDOM SEED= 886970802

TIME LIMIT= 5000 seconds
MEMORY LIMIT= 1800 MiB

Linux node59.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.268
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.268
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:       1274928 kB
Buffers:         52216 kB
Cached:         594272 kB
SwapCached:       2300 kB
Active:         143340 kB
Inactive:       512540 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1274928 kB
SwapTotal:     4192956 kB
SwapFree:      4184640 kB
Dirty:            4348 kB
Writeback:           0 kB
Mapped:          16172 kB
Slab:           111100 kB
Committed_AS:  8077320 kB
PageTables:       1472 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= 66539 MiB

End job on node59 on Sun May 13 02:25:09 UTC 2007